Mathlib Changelog
v4
Changelog
About
Github
Def
IfExpr.normSize'
Modification history
2023-11-05 21:52
Archive/Examples/IfNormalization/WithoutAesop.lean
feat: a solution to if-normalization (#8035) …
Added
IfExpr.normSize'
View on Github →