Four MathlibAnnex Projects

1. Mankiewicz Extension Theorem

   11 exact declaration tiles · MathlibAnnex v0.4.0

2. Sphere Rigidity

   467 exact declaration tiles · MathlibAnnex v0.4.0

3. Rosenberg Compact-Operator Model

   63 exact declaration tiles · MathlibAnnex v0.4.0

4. Naimark's problem

   466 exact declaration tiles · MathlibAnnex v0.4.0

Browse the 44-Card Catalog