A strong axiom of infinity for HOL
Overview
Introduction
Representation of Ordinals
Proof Context
up HOME © RBJ V