Skip to content

clean up IndexType.lean #650

clean up IndexType.lean

clean up IndexType.lean #650