Theorem IfExpr.eval_ite_ite'

Modification history

2024-08-27 19:30
Archive/Examples/IfNormalization/WithoutAesop.lean
chore: remove `autoImplicit` from `Archive, Cache, Data` (#16187) …
Modified IfExpr.eval_ite_ite'View on Github →
2023-11-05 21:52
Archive/Examples/IfNormalization/WithoutAesop.lean
feat: a solution to if-normalization (#8035) …
Added IfExpr.eval_ite_ite'View on Github →