Theorem CommSemiRingCat.forget_map

Modification history