Theorem Setoid.injective_iff_ker_bot

Modification history