chore: rename fields of Subarray to follow Lean conventions#3851

Merged

david-christiansen merged 4 commits intoleanprover:masterfrom david-christiansen:subarray-names

Apr 13, 2024

+47-23

Commits on Apr 9, 2024

chore: rename fields of Subarray to follow Lean conventions
david-christiansen
committed

Commits on Apr 10, 2024

Update src/Init/Data/Array/Subarray.lean

david-christiansen
and
eric-wieser
authored

Commits on Apr 12, 2024