Def gci_Ici_sInf

Modification history

2026-07-24 09:53
Mathlib/Order/GaloisConnection/Basic.lean
chore(Order): fix defs with underscore in their names (#41878) …
Deleted gci_Ici_sInfView on Github →
2023-09-09 15:10
Mathlib/Order/GaloisConnection.lean
feat: (sSup, Iic) and (Ici, sInf) are Galois connections (#6951)
Added gci_Ici_sInfView on Github →