Theorem LinearMap.prod_ext_iff

Modification history