Theorem Submodule.IsLattice.of_rank_le

Modification history