Commit 2024-08-17 09:33 b2af0a88

View on Github →

style: replace $ with <| (#15913) The mathlib style guide requires using <| instead of $. The linter in #15909 will enforce this.

Estimated changes

modified theorem ne_zero_pow
modified theorem Finset.truncatedInf_empty
modified theorem Finset.truncatedSup_empty
modified theorem Nat.lt_one_iff
modified theorem Nat.mul_left_eq_self_iff
modified theorem Nat.mul_right_eq_self_iff
modified theorem Nat.log_zero_left