Theorem Nat.sInf_empty

Modification history