Commit 2024-10-02 12:51 66e06b65

View on Github →

chore(SetLike): Let gcongr know about coe_subset_coe (#17290) From LeanCamCombi

Estimated changes

Modified Mathlib/Data/SetLike/Basic.lean

modified theorem SetLike.coe_ssubset_coe

modified theorem SetLike.coe_subset_coe