Theorem Equiv.symm_mk

Modification history

2026-05-12 14:07
Mathlib/Logic/Equiv/Defs.lean
chore: syntactically generalise `symm_mk` (#37748)
Added Equiv.symm_mkView on Github →