Theorem ModuleCat.isFG_iff

Modification history