feat(Mathematics): add Physlib/Mathematics/GoldenRatio.lean#1122
Open
gHashTag wants to merge 4 commits into
Open
feat(Mathematics): add Physlib/Mathematics/GoldenRatio.lean#1122gHashTag wants to merge 4 commits into
gHashTag wants to merge 4 commits into
Commits
Commits on May 23, 2026
Commits on Jun 18, 2026
- committed
gHashTag - committedgHashTag