Improve how references are used throughout Physlib - #1613

Improve how references are used throughout Physlib#1613

Alex-Zughaid wants to merge 3 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

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