Mathlib v3 is deprecated. Go to Mathlib v4

Theorem theorems_100.cubic_basic_eq_zero_iff

Modification history