Theorem LinearIsometryEquiv.inv_def

Modification history