mathlib
9bed4567 - feta(data/fin): induction principle on fin (n + 1) (#4546)

Commit

5 years ago

feta(data/fin): induction principle on fin (n + 1) (#4546)

References

#4925 - Make prime-avoidance branch build

Author

pechersky

pechersky

Parents

Loading