Theorem Magma.AssocQuotient.quot_mk_assoc_left

Modification history

2023-01-29 16:57
Mathlib/Algebra/Free.lean
feat port : Algebra.Free (#1353)
Added Magma.AssocQuotient.quot_mk_assoc_leftView on Github →