Usage
  • 20 views
  • 22 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar