Def IfExpr.hasConstantIf

Modification history

2023-11-05 21:52

Archive/Examples/IfNormalization/Statement.lean

feat: a solution to if-normalization (#8035) …

Added IfExpr.hasConstantIf View on Github →