mathlib3
feat(ring_theory/integral_domain): generalize `card_fiber_eq_of_mem_range`
#17653
Open
Open