Commit 2026-04-27 20:25 525a1d7a

View on Github →

chore: Rename Xor' to Xor (#37628) Rename Xor' to Xor per the comment which recommended doing so after v4.25.0-rc1 Moves:

  • Xor' --> Xor

Estimated changes

deleted theorem Int.even_xor'_odd'
deleted theorem Int.even_xor'_odd
added theorem Int.even_xor_odd'
added theorem Int.even_xor_odd
modified theorem Nat.even_xor_odd'
modified theorem Nat.even_xor_odd
modified theorem Bool.coe_xor_iff
modified theorem Set.mem_union_of_disjoint
modified theorem Subgroup.index_eq_two_iff'
modified theorem Subgroup.index_eq_two_iff
deleted def Xor'
added def Xor
modified theorem not_xor
modified theorem xor_comm
modified theorem xor_def
modified theorem xor_false
modified theorem xor_iff_iff_not
modified theorem xor_iff_not_iff'
modified theorem xor_iff_not_iff
modified theorem xor_iff_or_and_not_and
modified theorem xor_not_left
modified theorem xor_not_not
modified theorem xor_not_right
modified theorem xor_self
modified theorem xor_true
deleted theorem symmDiff_eq_Xor'
added theorem symmDiff_eq_xor
deleted theorem exists_isOpen_xor'_mem
added theorem exists_isOpen_xor_mem