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.
chore: use funext_iff instead of the alias Function.funext_iff (#17847) Not sure why we were using this alias in the first place.