mathlib
ba7e660c - so gross, simp not working, and I don't know why

Commit

3 years ago

so gross, simp not working, and I don't know why

References

Author

kim-em

kim-em

Parents

Loading