Theorem Setoid.ker_def

Modification history