lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

Definability of `.𝟑`

Open SnO2WMaN opened this issue 9 months ago • 0 comments

.𝟑 is not Geach axiom and its definability is functional.

SnO2WMaN avatar May 01 '24 01:05 SnO2WMaN