Theorem subset_antisymm

Modification history