Theorem CommMonCat.coe_forget₂_obj

Modification history