Theorem Algebra.lift_rank_le_of_injective_injective

Modification history