Theorem IsConj.eq_of_left_mem_center

Modification history