Mathlib Changelog
v4
Changelog
About
Github
Theorem
not_and_or
Modification history
2024-02-12 07:17
Mathlib/Logic/Basic.lean
chore: bump dependencies (#10446)
Modified
not_and_or
View on Github →
2022-10-24 15:16
Mathlib/Logic/Basic.lean
feat: port Logic/Basic (#484) …
Added
not_and_or
View on Github →