Theorem Module.length_pi_of_fintype

Modification history