Skip to content

feat(Mathematics): add Physlib/Mathematics/GoldenRatio.lean#1122

Open
gHashTag wants to merge 4 commits into
leanprover-community:masterfrom
gHashTag:feat/golden-ratio-from-trinity
Open

feat(Mathematics): add Physlib/Mathematics/GoldenRatio.lean#1122
gHashTag wants to merge 4 commits into
leanprover-community:masterfrom
gHashTag:feat/golden-ratio-from-trinity

proof: avoid fragile 'unfold' on abbrev goldenRatio

1eb96d1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs