mathlib3

add9b4dc - `ext'` is `fractional_ideal.ext_iff`