Theorem LinearIsometry.coe_toLinearMap

Modification history