Theorem AffineMap.pi_ext_nonempty

Modification history