Mathlib Changelog
v4
Changelog
About
Github
Def
gci_Ici_sInf
Modification history
2023-09-09 15:10
Mathlib/Order/GaloisConnection.lean
feat: (sSup, Iic) and (Ici, sInf) are Galois connections (#6951)
Added
gci_Ici_sInf
View on Github →