Theorem Semiquot.eq_mk_of_mem

Modification history