Theorem IsConj.eq_of_right_mem_center

Modification history