Theorem Basis.ext_linearIsometryEquiv

Modification history