Theorem FreeMagma.length_pos

Modification history

2024-03-30 13:25

Mathlib/Algebra/Free.lean

feat(Algebra/Free): add length_pos lemma for free magmas (#11783) …

Added FreeMagma.length_pos View on Github →