Total and Partial Maps
¶
The Lean Standard Library
¶
Identifiers
¶
Total Maps
¶
Partial Maps
¶
Table Of Contents
Total and Partial Maps
The Lean Standard Library
Identifiers
Total Maps
Partial Maps
Related Topics
Documentation overview
Previous:
Inductively Defined Propositions
Next:
The Curry-Howard Correspondence
This Page
Show Source
Quick search