Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. add alternative definition for number partitions with bijection and cardinality theorems to prepare for Twelvefold_Way submission
Changeset 7325:6a47c9058619 by lukas bulwahn _lukas.bulwahn@gmail.com_:
add alternative definition for number partitions with bijection and cardinality theorems to prepare for Twelvefold_Way submission
The file was modified thys/Card_Number_Partitions/Additions_to_Main.thy (diff)
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)