⌊π⌋ = 3 отваря 3-6-9 — кратните на 3, които удвояването 1-2-4-8-7-5 подминава
Изявление: ⌊π⌋=3 отваря 3-6-9, disjoint от 1-2-4-8-7-5. Обяснение: piThreeOpensTheTrinity от src/0. Метод: ProofRenderer · verify. Статус: не Clay.
деклариран, поставен, монтиран и преизчислим от името на компонента.
Печат на ковачницатаT_max = ∞commands 108 · gates 432 · source files 110 · papers 432 · references 432 · diamonds 1024 · skill atoms 267 · referenced units 2034 · harmonic rungs 20
✓ доказано3acb37b3-8a74-8516-b850-fbc08dc07a83