Usage
  • 29 views
  • 30 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar