Theorem CommSemiRingCat.ofHom_apply'

Modification history