Improve how references are used throughout Physlib - #1613

Improve how references are used throughout Physlib#1613

jstoobysmith merged 24 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

Alex-Zughaid:references-standardizationAlex-Zughaid/physlib:references-standardizationCopy head branch name to clipboard