Add bounded derivative indices#1039

jstoobysmith merged 3 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

juanjfndz:codex/pr5-localjet-ijuanjfndz/physlib:codex/pr5-localjet-iCopy head branch name to clipboard