Theorem Submodule.IsLattice.finrank_of_pi

Modification history