Theorem Module.rank_top_le_rank_of_isScalarTower

Modification history