mathlib
832f3d71 - same as the previous commit, but for curry

Commit

3 years ago

same as the previous commit, but for curry

References

eric-wieser/dfinsupp-curry-defeq

Author

eric-wieser

eric-wieser

Parents

Loading