ErdosUnitDistance
Formalization of Alpöge's disproof of the uniform-constant Erdős unit-distance conjecture (companion to mathlib4 branch kim/erdos-unit-distance)
1-1 of 1 versions of ErdosUnitDistance
Sort by
Date
d748fd0v4.32.2
ErdosUnitDistanced748fd0