Theorem Set.inv_empty

Modification history