Theorem LinearMap.pi_ext

Modification history