Theorem $typeName.eq_of_val_eq

Modification history