Theorem Setoid.unionₛ_classes

Modification history