Def IsQuotientCoveringMap.mulActionFiber

Modification history

2026-06-10 13:50

Mathlib/Topology/Covering/Quotient.lean

chore(Topology/Covering/Quotient): automated extraction (#40467) …

Added IsQuotientCoveringMap.mulActionFiber View on Github →