`PhysMeasureBasis.selection_exists` : squareMeasure.fst ⊗ₘ squareMeasure.condKernel = squareMeasure

Initializing...

`PhysMeasureBasis.selection_exists` : squareMeasure.fst ⊗ₘ squareMeasure.condKernel = squareMeasure · Prove2Me