Theorem AddSubgroup.nsmul_mem_zmultiples_iff_exists_sub_div

Modification history

2023-02-06 00:44
Mathlib/Algebra/CharZero/Quotient.lean
feat: port Algebra.CharZero.Quotient (#2022)
Added AddSubgroup.nsmul_mem_zmultiples_iff_exists_sub_divView on Github →