Theorem Subtype.map_ne

Modification history

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