Theorem Module.rankAtStalk_tensorProduct

Modification history