Documentation

Batteries.Data.Range.Lemmas

theorem Std.Range.size_step_1 (start stop : Nat) :
[start:stop].size = stop - start