Commit 2024-07-24 14:53 c921ad48
View on Github →feat: the Galois connection induced by an arbitrary relation (#14908) Define a Galois connection from an arbitrary relation and prove this induces inverse bijections between two sets of fixed points.
feat: the Galois connection induced by an arbitrary relation (#14908) Define a Galois connection from an arbitrary relation and prove this induces inverse bijections between two sets of fixed points.