Theorem AffineMap.pi_ext_nonempty'

Modification history