Usage
  • 413 views
  • 155 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar