## The Reflection Theorem (1990)

### Cached

### Download Links

by
Grzegorz Bancerek

Venue: | Journal of Formalized Mathematics |

Citations: | 228 - 50 self |