Theorem LinearMap.lift_rank_le_of_surjective

Modification history