Boolean quantifiers #
This proves a few properties about List.all
and List.any
, which are the Bool
universal and
existential quantifiers. Their definitions are in core Lean.
Mathlib.Data.Bool.AllAny
This proves a few properties about List.all
and List.any
, which are the Bool
universal and
existential quantifiers. Their definitions are in core Lean.