Theorem DirectSum.IsInternal.collectedOrthonormalBasis_mem

Modification history