Nuprl Definition : int_hgrp_to_nat
nat(n) == n
Latex:
nat(n) == n
Date html generated: 2016_05_15-PM-00_19_31
Last ObjectModification: 2015_09_23-AM-06_25_26
Theory :
groups_1
Home
Index