mathlib3
7dc0d02c - Try making `npow_rec` and `nsmul_rec` irreducible

Commit

5 years ago

Try making `npow_rec` and `nsmul_rec` irreducible

References

irreducible_npow_rec

Author

Vierkantor

Vierkantor

Parents

Loading