Commit 2025-07-08 16:55 a7424e61

View on Github →

chore: add Con.hom_ext as alternative of Con.lift_funext (#26873)

Estimated changes

added theorem Con.hom_ext
modified theorem Con.lift_funext