Document Versions

The Reflection Theorem –Grzegorz Bancerek — 1990 — Journal of Formalized Mathematics
The Reflection Theorem –Grzegorz Bancerek — 1990 — Journal of Formalized Mathematics
König’s theorem –Grzegorz Bancerek — 1990 — Journal of Formalized Mathematics
Consequences of the Reflection Theorem –Grzegorz Bancerek — 1990