Theorem FGModuleCat.of_carrier

Modification history