Theorem Setoid.inf_def

Modification history