Theorem SetRel.rightDual_mem_leftFixedPoint

Modification history