mathlib
11a06de1 - feat(order/closure): closure of unions and bUnions (#7361)

Commit

4 years ago

feat(order/closure): closure of unions and bUnions (#7361) prove closure_closure_union and similar

Author

YaelDillies

Parents