Usage
  • 16 views
  • 18 downloads

The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar