Сборка v160-v162
Продолжение математической линии: cross-ratio, harmonicity, packet incidence, NAPG notation ledger and theorem-candidate browser.
truth_status_promoted_count = 0 publication_verified_status_count = 0
Volume II, NAPG ledger, proof-ledger dashboard
Продолжение математической линии: cross-ratio, harmonicity, packet incidence, NAPG notation ledger and theorem-candidate browser.
truth_status_promoted_count = 0 publication_verified_status_count = 0