mathlib3
13b0ca8f - Eliminating `finish`es and non-terminal `simp`s

Commit

4 years ago

Eliminating `finish`es and non-terminal `simp`s

References

SP_totient_product_formula

Author

stuart-presnell

stuart-presnell

Parents

Loading