Theorem CommMonCat.hom_inv_apply

Modification history