Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.sup_closed_of_sup_closed

Modification history