G github.com Kernel accepts wrong-structure projections, allowing axiom-free proof of False 5 points gopiandcode 3 months ago 0 comments
