Theorem WithVal.apply_symm_equiv

Modification history