Theorem Equiv.setValue_eq

Modification history