Theorem Set.up_empty

Modification history