Theorem CommRingCat.equalizer_ι_isLocalHom

Modification history