Theorem Setoid.ker_lift_injective

Modification history