The ordinal numbers (1990)

by Grzegorz Bancerek
Venue:Formalized Mathematics