## König’s theorem (1990)

### View PDF

### Download Links

by
Grzegorz Bancerek

Venue: | Journal of Formalized Mathematics |

Citations: | 250 - 51 self |