Theorem ModuleCat.freeDesc_apply

Modification history