Theorem $typeName.mk_val_eq

Modification history