Skip to content

Add rare-distance bounds over Q(sqrt(2)) and Q(T) - #403

Closed
lyfar wants to merge 9 commits into
LeanPool:mainfrom
lyfar:lyfar/rare-distance-fields
Closed

Add rare-distance bounds over Q(sqrt(2)) and Q(T)#403
lyfar wants to merge 9 commits into
LeanPool:mainfrom
lyfar:lyfar/rare-distance-fields

Commits

  1. Commits on Sep 8, 2026

  2. Commits on Sep 10, 2026

  3. Commits on Sep 11, 2026