Usage
  • 423 views
  • 161 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar