mathlib3
3e4bf5de - feat(order/symm_diff): More symmetric difference lemmas (#13133)

Commit

3 years ago

feat(order/symm_diff): More symmetric difference lemmas (#13133) A few more `symm_diff` lemmas. Co-authored-by: Bryan Gin-ge Chen

Author

YaelDillies

Parents