Theorem AffineEquiv.constVAdd_symm

Modification history