Theorem Module.rankAtStalk_eq_of_equiv

Modification history