Theorem CommSemiRingCat.forget_obj

Modification history