Skip to content

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

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
NicolasRouquette:epow-component-lemmas
Sep 3, 2026
Merged

feat(Units): component lemmas for the Exponent power of a dimension#1600
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
NicolasRouquette:epow-component-lemmas

public visibility for component_epow

8de2eac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view