Theorem PosNum.natSize_pos

Modification history