feat(Logic/Equiv/Defs): add coe_ofBijective simp lemma#38286

b-mehta wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

b-mehta:feat/equiv-coe-ofBijectiveb-mehta/mathlib4:feat/equiv-coe-ofBijectiveCopy head branch name to clipboard