Theorem unary_relation_sSup_iff

Modification history