Theorem LinearIsometryEquiv.ofEq_rfl

Modification history