Theorem Setoid.ker_iff_mem_preimage

Modification history