Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.iInf_principal'
Modification history
2024-04-23 01:17
Mathlib/Order/Filter/Basic.lean
fix: generalize index types of `iSup` to Sort (#12114) …
Added
Filter.iInf_principal'
View on Github →