Theorem LinearIsometryEquiv.range_eq_univ

Modification history