ZFC in HOL - functions
Overview
Extensionality
Union and Intersection
Pairs
Relations and Functions
Domain, Range and Field
Functional Abstraction, Abstraction and Extensionality
up HOME © RBJ