Mathlib v3 is deprecated. Go to Mathlib v4

Theorem division_monoid.one_div_div

Modification history