Theorem Int.subNatNat_elim

Modification history