Theorem unary_relation_supₛ_iff

Modification history