Mathlib Changelog
v4
Changelog
About
Github
Theorem
Decidable.and_forall_ne
Modification history
2023-01-25 10:47
Mathlib/Logic/Basic.lean
Feat: add `List.perm_replicate_append_replicate` (#1509) …
Added
Decidable.and_forall_ne
View on Github →