Theorem CommRingCat.ofHom_apply'

Modification history