Commit 2025-07-29 03:01 316eba40

View on Github →

chore: some whitespace fixes (#27485) Found by the linter in #26926.

Estimated changes

modified theorem ComplexShape.next_eq_self'
modified theorem ComplexShape.next_eq_self
modified theorem ComplexShape.prev_eq_self'
modified theorem ComplexShape.prev_eq_self
modified theorem dite_div
modified theorem dite_div_dite
modified theorem dite_mul
modified theorem dite_mul_dite
modified theorem div_dite
modified theorem mul_dite
modified theorem Nat.find_comp_succ
modified theorem Nat.find_eq_iff
modified theorem Nat.le_find_iff
modified theorem Nat.lt_find_iff
modified theorem exists_or_forall_not
modified theorem forall_or_exists_not
modified theorem ite_prop_iff_and
modified theorem ite_prop_iff_or
modified theorem xor_iff_not_iff
modified theorem xor_iff_or_and_not_and
modified theorem Maximal.not_gt
modified theorem Minimal.not_lt