Theorem Specialization.ofEquiv_inj

Modification history

2025-02-10 08:08
Mathlib/Topology/Specialization.lean
chore: normalize comments for issue #10675 (#21628)
Modified Specialization.ofEquiv_injView on Github →
2023-09-06 23:43
Mathlib/Topology/Specialization.lean
feat: Type synonym for the specialisation order (#6985) …
Added Specialization.ofEquiv_injView on Github →