Theorem op_dvd_op_iff

Modification history

2026-09-30 18:48
Mathlib/Algebra/Divisibility/Basic.lean
feat(Algebra/Divisibility/Basic): divisibility in opposite semigroups (#44366) …
Added op_dvd_op_iffView on Github →