Mathlib v3 is deprecated. Go to Mathlib v4

Theorem plift.eq_up_iff_down_eq

Modification history