Theorem ContinuousLinearMap.inCoordinates_eq

Modification history