Commit 2022-12-15 09:57 cdc9f72c
View on Github →feat: (∀ p, f p) ↔ f true ∧ f false (#1031)
Match https://github.com/leanprover-community/mathlib/pull/17944
feat: (∀ p, f p) ↔ f true ∧ f false (#1031)
Match https://github.com/leanprover-community/mathlib/pull/17944