Theorem IsAddQuotientCoveringMap.fundamentalGroupToMulOpposite_apply_eq_iff

Modification history

2026-09-30 11:07
Mathlib/Topology/Homotopy/Lifting.lean
chore(Topology/Homotopy/Lifting): fix typos `Iff` (#44330) …
Added IsAddQuotientCoveringMap.fundamentalGroupToMulOpposite_apply_eq_iffView on Github →