Theorem SetRel.core_mono

Modification history