Inductive ZNum

Modification history