Theorem inv_div_comm

Modification history

2024-08-18 01:14
Mathlib/Algebra/Group/Basic.lean
feat: Binary entropy (#9734) …
Added inv_div_commView on Github →