Commit 2022-02-23 13:18 7de8137d

View on Github →

feat(topology/order/hom): Continuous order homomorphisms (#12012) Define continuous monotone functions, aka continuous order homomorphisms, aka Priestley homomorphisms, with notation α →Co β.

Estimated changes