mathlib3
f3726e8d - chore(*): a few more lemmas with removable edge cases

Commit

4 years ago

chore(*): a few more lemmas with removable edge cases

References

alexjbest/simple_edge_cases2

Author

alexjbest

alexjbest

Parents

Loading