Usage
  • 26 views
  • 27 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar