Theorem SemiRingCat.ofHom_apply'

Modification history