Theorem Hollom.exists_partition_iff_nonempty_spinalMap

Modification history