Changes

Summary

drop unneeded subsection that just caused a document build failure in c92763228085

Changeset 8888:b5e453029b52 by lukas bulwahn _lukas.bulwahn@gmail.com_: drop unneeded subsection that just caused a document build failure in c92763228085
The file was modified	`thys/Card_Partitions/Set_Partition.thy` (diff)