Theorem FreeMagma.mul_map_seq

Modification history

2025-12-29 03:44
Mathlib/Algebra/Free.lean
chore: remove May 2025 deprecated declarations (#33014) …
Deleted FreeMagma.mul_map_seqView on Github →
2023-01-29 16:57
Mathlib/Algebra/Free.lean
feat port : Algebra.Free (#1353)
Added FreeMagma.mul_map_seqView on Github →