Theorem CommSemiRingCat.of_carrier

Modification history