Pony Proofs

Modules

• Cap
• CapSets
• CapGroups
• Notations
• lemmas