Theorem MonCat.coe_of

Modification history