Theorem LinearEquiv.coord_self

Modification history