Theorem AffineEquiv.constVAdd_zero

Modification history