mathlib3
2fc6f911 - refactor(algebra/*): streamlining up to data.nat.cast.basic (#17530)

Commit

3 years ago

refactor(algebra/*): streamlining up to data.nat.cast.basic (#17530) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents