Theorem binary_relation_infₛ_iff

Modification history