Theorem CommSemiring.counit_apply

Modification history