Def IfExpr.hasRedundantIf

Modification history

2023-11-05 21:52
Archive/Examples/IfNormalization/Statement.lean
feat: a solution to if-normalization (#8035) …
Added IfExpr.hasRedundantIfView on Github →