Theorem AffineEquiv.constVAdd_nsmul

Modification history