Theorem AffineEquiv.ofEq_rfl

Modification history