Theorem Nat.filter_range_nth_eq_insert

Modification history