Inductive PosNum

Modification history