Theorem LinearMap.iInf_invariant

Modification history