Theorem OrthogonalFamily.isInternal_iff

Modification history