mathlib3
5022425a - feat(algebra/free_algebra): Add an inductive principle (#4335)

Commit

5 years ago

feat(algebra/free_algebra): Add an inductive principle (#4335)

References

#4925 - Make prime-avoidance branch build

Author

eric-wieser

eric-wieser

Parents

Loading