A Universe of Sorts

scratch

§ $10^{3n+1}$ Cannot Be Written as Sum of Two Cubes

created 2021-01-29 · last edited 2021-05-16

https://hackage.haskell.org/package/contravariant-1.5.3/docs/Data-Functor-Contravariant-Divisible.html

❦