Theorem CommRingCat.isLocalHom_comp

Modification history