Mathlib v3 is deprecated. Go to Mathlib v4

Theorem has_binary_products_of_terminal_and_pullbacks

Modification history