Inductive WType.Natα

Modification history