Theorem coe_div_coe

Modification history

2024-02-29 21:30
Mathlib/GroupTheory/Subgroup/Pointwise.lean
feat: `IsTorsionFree M ↔ NoZeroSMulDivisors ℕ M` (#10918) …
Added coe_div_coeView on Github →