The Reflection Theorem (1990)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics