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.

Estimated changes