mathlib
ca61dbff - feat(order/sup_indep): Finite supremum independence (#9867)

Commit

4 years ago

feat(order/sup_indep): Finite supremum independence (#9867) This defines supremum independence of indexed finsets.

Author

YaelDillies

Parents