grind_indexmap_pre.lean:32:4-32:21: warning: declaration uses `sorry`
grind_indexmap_pre.lean:65:0-65:8: warning: declaration uses `sorry`
grind_indexmap_pre.lean:70:0-70:8: warning: declaration uses `sorry`
grind_indexmap_pre.lean:74:14-74:20: warning: declaration uses `sorry`
grind_indexmap_pre.lean:102:14-102:23: warning: declaration uses `sorry`
grind_indexmap_pre.lean:125:8-125:18: warning: declaration uses `sorry`
grind_indexmap_pre.lean:129:8-129:22: warning: declaration uses `sorry`
grind_indexmap_pre.lean:133:8-133:18: warning: declaration uses `sorry`
grind_indexmap_pre.lean:137:8-137:27: warning: declaration uses `sorry`
grind_indexmap_pre.lean:141:8-141:19: warning: declaration uses `sorry`
grind_indexmap_pre.lean:145:8-145:22: warning: declaration uses `sorry`
grind_indexmap_pre.lean:148:8-148:18: warning: declaration uses `sorry`
grind_indexmap_pre.lean:151:8-151:26: warning: declaration uses `sorry`
grind_indexmap_pre.lean:154:8-154:21: warning: declaration uses `sorry`
grind_indexmap_pre.lean:157:8-157:25: warning: declaration uses `sorry`