Commit 2021-03-07 22:03 2d3c522b
View on Github →feat(order/ideal): added proper ideal typeclass and lemmas to order_top (#6566)
Defined proper and proved basic lemmas about proper ideals.
Also turned order_top into a section.
feat(order/ideal): added proper ideal typeclass and lemmas to order_top (#6566)
Defined proper and proved basic lemmas about proper ideals.
Also turned order_top into a section.