mathlib
872a37e4 - cleanup(group_theory/presented_group): () -> [], and remove some FIXMEs (#4076)

Commit
5 years ago
cleanup(group_theory/presented_group): () -> [], and remove some FIXMEs (#4076) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading