Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.presheaf.sheaf_condition_equalizer_products.fork_π_app_walking_parallel_pair_zero

Modification history