Mathlib v3 is deprecated. Go to Mathlib v4

Def pseudo_epimorphism.comp

Modification history

2022-03-22 09:42

src/topology/order/hom/esakia.lean

feat(topology/order/hom/esakia): Esakia morphisms (#12241) …

Added pseudo_epimorphism.comp View on Github →