Theorem ne_of_not_superset

Modification history