Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_strong_antichain.preimage

Modification history