Commit 2022-11-24 02:24 968aa14b

View on Github →

chore: updates from mathlib3 (#695) The scripts/port_status.py now outputs the git commands to see what has changed in mathlib3 since the recorded git sha. I used this to update some files, and update their recorded git sha on the port status page.

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Data/FunLike/Basic.lean

added theorem FunLike.subsingleton_cod

Modified Mathlib/Data/FunLike/Equiv.lean

added theorem EquivLike.subsingleton_dom

Renamed Mathlib/Init/Data/Rat.lean to Mathlib/Data/Rat/Init.lean

Modified Mathlib/Logic/Basic.lean

added theorem xor_iff_iff_not

added theorem xor_iff_not_iff'

modified theorem xor_iff_not_iff

added theorem xor_not_left

added theorem xor_not_not

added theorem xor_not_right

Modified Mathlib/Logic/Lemmas.lean

Modified Mathlib/Order/Iterate.lean