Skip to content

Update Class.lean

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

[Merged by Bors] - doc(Algebra/Order/ArchimedeanClass): mention "commensurate" in docstring #33346

Update Class.lean
3dddda5
Select commit
Loading
Failed to load commit list.