Commit 2024-10-17 04:44 6bcc518e

View on Github →

chore: use funext_iff instead of the alias Function.funext_iff (#17847) Not sure why we were using this alias in the first place.

Estimated changes