feat(Units): component lemmas for the Exponent power of a dimension - #1600

feat(Units): component lemmas for the Exponent power of a dimension#1600

jstoobysmith merged 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

NicolasRouquette:epow-component-lemmasNicolasRouquette/physlib:epow-component-lemmasCopy head branch name to clipboard