Mathlib Changelog
v4
Changelog
About
Github
Theorem
and_forall_ne
Modification history
2023-01-25 10:47
Mathlib/Logic/Basic.lean
Feat: add `List.perm_replicate_append_replicate` (#1509) …
Modified
and_forall_ne
View on Github →
2022-10-24 15:16
Mathlib/Logic/Basic.lean
feat: port Logic/Basic (#484) …
Added
and_forall_ne
View on Github →