Skip to content

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

c2919f1
Select commit
Loading
Failed to load commit list.
Open

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

feat(Mathematics): add Physlib/Mathematics/GoldenRatio.lean
c2919f1
Select commit
Loading
Failed to load commit list.