Theorem AffineEquiv.coe_ofEq_apply

Modification history