Theorem SSet.horn.spineId_map_hornInclusion

Modification history