Commit 2024-11-25 17:36 f44426d3

View on Github →

feat(FreeGroup): some basic lemmas (#19468) From LeanCamCombi

Estimated changes

added theorem FreeGroup.reduce_nil
modified theorem FreeGroup.toWord_inv