Def order_iso.Iic_top
Modification history
2022-11-06 23:41
src/data/set/intervals/basic.lean
refactor(*): supremum of several recent refactoring PRs (#17381) …
Modified order_iso.Iic_topView on Github →2021-11-10 17:25
src/data/set/intervals/basic.lean
refactor(order): order_{top,bot} as mixin (#10097) …
Modified order_iso.Iic_topView on Github →