Theorem ContinuousMap.specializes_coe

Modification history

2024-05-06 15:07
Mathlib/Topology/CompactOpen.lean
feat(CompactOpen): add instances (#12667)
Added ContinuousMap.specializes_coeView on Github →