Theorem Subtype.map_eq

Modification history

2025-07-14 20:27
Mathlib/Data/Subtype.lean
feat: Subtype.map_{eq,ne} (#27012)
Added Subtype.map_eqView on Github →