Theorem DirectSum.IsInternal.isometryL2OfOrthogonalFamily_symm_apply

Modification history