Theorem SSet.Truncated.trunc_spine

Modification history