Theorem Module.finrank_bot_le_finrank_of_isScalarTower_of_free

Modification history