Theorem Set.EqOn.piecewise_ite'

Modification history