Theorem Module.rankAtStalk_eq_finrank_tensorProduct

Modification history