Mathlib Changelog
v4
Changelog
About
Github
Theorem
And.comm
Modification history
2022-07-12 10:11
Mathlib/Init/Logic.lean
chore: bump to 2022-07-12 (#301)
Deleted
And.comm
View on Github →
2021-08-12 12:17
Mathlib/Init/Logic.lean
split out Lean 3 prelude items from Logic/Basic.lean to Init/Logic.lean (#34)
Added
And.comm
View on Github →