Theorem superset_antisymm

Modification history