Theorem Nat.zero_union_range_succ

Modification history