Theorem SetRel.mem_core

Modification history