Theorem IfExpr.eval_var

Modification history