Theorem Module.rankAtStalk_eq_finrank_of_free

Modification history