mathlib
5b20d49d - Merge branch 'inv-le-of-inv-le' into ccl-Sup

Commit

5 years ago

Merge branch 'inv-le-of-inv-le' into ccl-Sup

References

#8496 - refactor(order/conditionally_complete_lattice): refactor definition, add constructors

Author

urkud

urkud

Parents

Loading