Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. replace disjoint_under by equivalent disjoint_family_on
Changeset 8170:16d4b124100e by lukas bulwahn _lukas.bulwahn@gmail.com_:
replace disjoint_under by equivalent disjoint_family_on
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy (diff)