Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more facts on set partitions to prepare for Twelvefold_Way submission
Changeset 7330:5bcb4d0c0685 by lukas bulwahn _lukas.bulwahn@gmail.com_:
more facts on set partitions to prepare for Twelvefold_Way submission
The file was modified thys/Bell_Numbers_Spivey/Set_Partition.thy (diff)
The file was modified thys/Card_Equiv_Relations/More_Set_Partition.thy (diff)