Theorem LinearMap.exists_range_pow_eq_iInf

Modification history