Theorem AffineEquiv.constVAdd_add

Modification history