Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-28 19:36 a2e6bf89

View on Github →

chore(algebraic_topology/cech_nerve): An attempt to speed up the proofs... (#10521) Let's hope this works! See zulip discussion

Estimated changes

Modified src/algebraic_topology/cech_nerve.lean

added def category_theory.arrow.map_augmented_cech_conerve

added def category_theory.arrow.map_augmented_cech_nerve

added def category_theory.arrow.map_cech_conerve

added def category_theory.arrow.map_cech_nerve