Theorem NormedAddGroupHom.Equalizer.ι_comp_lift

Modification history