Theorem Module.isLocallyConstant_rankAtStalk_freeLocus

Modification history