2.12 Universal Quantifiers
A universal statement asserts that a property holds for every element of a type.
3 notes
A universal statement asserts that a property holds for every element of a type.
An existential statement says that some object exists with a given property.
Universal and existential quantifiers, scope, free variables, bound variables, and variable capture.