mathlib
49040e50 - feat(data/set): sep true/false simp lemmas (#7215)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

feat(data/set): sep true/false simp lemmas (#7215)

Author

b-mehta

b-mehta

Parents

FAQ Terms Privacy Refunds Impressum

Loading