Summary
- merged
- add another cardinality proof in Card_Number_Partitions to prepare for Twelvefold_Way submission
- add more cardinality proofs in Card_Partitions to prepare for Twelvefold_Way submission
The file was modified | thys/Card_Number_Partitions/Card_Number_Partitions.thy (diff) |
The file was modified | thys/Card_Number_Partitions/Number_Partition.thy (diff) |
The file was modified | thys/Card_Partitions/Card_Partitions.thy (diff) |