Mathlib v3 is deprecated. Go to Mathlib v4

Theorem card_fiber_eq_of_mem_range

Modification history

2020-05-17 20:01
src/ring_theory/integral_domain.lean
refactor(field_theory): preparations for Chevalley–Warning (#2590) …
Modified card_fiber_eq_of_mem_rangeView on Github →
2020-05-12 06:37
src/ring_theory/integral_domain.lean
feat(ring_theory/integral_domain): sum in integral domain indexed by finite group (#2623) …
Added card_fiber_eq_of_mem_rangeView on Github →