Commit 2024-12-02 12:55 3b0e6798
View on Github →chore(GroupTheory/Goursat): fix typos (#19686) Fix some minor typos and streamline a proof in the file on Goursat's lemma for groups.
chore(GroupTheory/Goursat): fix typos (#19686) Fix some minor typos and streamline a proof in the file on Goursat's lemma for groups.