Theorem AffineMap.pi_ext_zero

Modification history