Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. move Injectivity_Solver to prepare for proof rework in Card_Partitions
Changeset 8838:a49bb5d4c66f by lukas bulwahn _lukas.bulwahn@gmail.com_:
move Injectivity_Solver to prepare for proof rework in Card_Partitions
The file was addedthys/Card_Partitions/Injectivity_Solver.thy
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/ROOT (diff)
The file was modified thys/Card_Partitions/Card_Partitions.thy (diff)
The file was modified thys/Card_Partitions/ROOT (diff)
The file was modified thys/Falling_Factorial_Sum/Falling_Factorial_Sum_Combinatorics.thy (diff)
The file was modified thys/Falling_Factorial_Sum/ROOT (diff)
The file was removedthys/Bell_Numbers_Spivey/Injectivity_Solver.thy