mathlib
4237da0f - feat(logic/lemmas): `(∀ p, f p) ↔ f true ∧ f false` (#17944)

Commit

3 years ago

feat(logic/lemmas): `(∀ p, f p) ↔ f true ∧ f false` (#17944) Expand quantifiers over `Prop`

Author

YaelDillies

Parents