Theorem MonoidHom.card_fiber_eq_of_mem_range

Modification history

2024-06-10 14:50
Mathlib/GroupTheory/Index.lean
chore: move and generalize card_fiber_eq_of_mem_range (#10088) …
Added MonoidHom.card_fiber_eq_of_mem_rangeView on Github →