Theorem Module.finrank_of_isPerfPair

Modification history