Theorem AffineMap.pi_zero

Modification history