Theorem ssubset_irrefl

Modification history