Commit 2026-09-30 11:07 b9579600

View on Github →

chore(Topology/Homotopy/Lifting): fix typos Iff (#44330) Fix typos I accidentally introduced in #33108

Estimated changes

Modified Mathlib/Topology/Homotopy/Lifting.lean

deleted theorem IsAddQuotientCoveringMap.fundamentalGroupToMulOpposite_apply_eq_Iff

added theorem IsAddQuotientCoveringMap.fundamentalGroupToMulOpposite_apply_eq_iff

deleted theorem IsQuotientCoveringMap.fundamentalGroupToMulOpposite_apply_eq_Iff

added theorem IsQuotientCoveringMap.fundamentalGroupToMulOpposite_apply_eq_iff