Theorem WithVal.apply_equiv

Modification history