Theorem IsQuotientCoveringMap.coe_mulActionFiber_smul

Modification history

2026-06-10 13:50
Mathlib/Topology/Covering/Quotient.lean
chore(Topology/Covering/Quotient): automated extraction (#40467) …
Added IsQuotientCoveringMap.coe_mulActionFiber_smulView on Github →