Theorem Specialization.ofEquiv_specializes_ofEquiv

Modification history

2023-09-06 23:43
Mathlib/Topology/Specialization.lean
feat: Type synonym for the specialisation order (#6985) …
Added Specialization.ofEquiv_specializes_ofEquivView on Github →