Theorem FreeMonoid.length_eq_zero

Modification history