mathlib3
e251ef77 - feat(logic/basic): `congr_fun` for heterogeneous equality (#13591)

Commit

3 years ago

feat(logic/basic): `congr_fun` for heterogeneous equality (#13591) Co-authored-by: Bhavik Mehta <@b-mehta>

Author

vihdzp

Parents