Usage
  • 415 views
  • 157 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar