Theorem CategoryTheory.LocallyDiscrete.eqToHom_toLoc

Modification history