Theorem SSet.truncation_spine

Modification history