Mathlib v3 is deprecated. Go to Mathlib v4

Theorem spectrum.unit_mem_mul_iff_mem_swap_mul

Modification history