Theorem PartialEquiv.coe_mk

Modification history

2025-02-03 16:00
Mathlib/Logic/Equiv/PartialEquiv.lean
chore(Logic): process a batch of porting notes (#21226)
Added PartialEquiv.coe_mkView on Github →