Theorem LinearMap.pi_ext'

Modification history