Skip to content

Fix

4e15825
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - chore: move Data/Real/GoldenRatio and RingTheory/Real/Irrational to NumberTheory/Real #30498

Fix
4e15825
Select commit
Loading
Failed to load commit list.