mathlib
0107630b - Define `fin.cycle_range` in terms of a new `fin.cycle_all`

Commit

4 years ago

Define `fin.cycle_range` in terms of a new `fin.cycle_all`

References

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading