Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_seminorm.seminorm_one_eq_one_iff_ne_zero

Modification history