Theorem Set.EqOn.trans

Modification history