Theorem Setoid.empty_not_mem_classes

Modification history