Commit 2024-08-14 09:17 35b04e0a
View on Github →chore(SetTheory/Ordinal/FixedPoint): Rewrite dumb theorems about zero function (#15755)
Two theorems referred to the function fun x => 0 * x
, which is just the zero function. Also, added applied versions of theorems referring to function equality.