Theorem LinearMap.pi_ext_iff

Modification history