Theorem Nat.zero_land'

Modification history