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

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

Merge remote-tracking branch 'origin/main' into pr-403

a3aad79
Select commit
Loading
Failed to load commit list.
Sign in for the full log view