Theorem IsLocalizedModule.finrank_eq

Modification history