mathlib3
b1a210ec - feat(logic/basic): Add more simp lemmas for forall (#4117)

Commit

5 years ago

feat(logic/basic): Add more simp lemmas for forall (#4117)

References

#4925 - Make prime-avoidance branch build

Author

eric-wieser

eric-wieser

Parents

Loading