Theorem Set.Subsingleton.anti

Modification history