Mathlib v3 is deprecated. Go to Mathlib v4

Theorem preperfect_iff_perfect_closure

Modification history