mathlib
0b4444ca - feat(pfun/recursion): unbounded recursion (#3778)

Commit

5 years ago

feat(pfun/recursion): unbounded recursion (#3778) Co-authored-by: Mario Carneiro <di.gama@gmail.com>

References

Author

cipher1024

Parents