Theorem Subtype.coind_injective_iff

Modification history

2026-07-02 16:39
Mathlib/Data/Subtype.lean
chore: cleanup API around LinearMap.injective_domRestrict_iff (#41229) …
Added Subtype.coind_injective_iffView on Github →