Commit 2026-08-06 00:34 e900b026

View on Github →

chore: deprecate apply_eq_iff_eq_symm_apply (#42094) apply_eq_iff_eq_symm_apply is Iff.symm of eq_symm_apply. This deprecates the former in favour of the latter.

Estimated changes

modified theorem NNReal.sqrt_eq_iff_eq_sq
added theorem OrderIso.eq_symm_apply