Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.sheaf_condition.fork_π_app_walking_parallel_pair_one

Modification history