Commit 2022-11-20 16:07 f7dc75b7
View on Github →feat: port Algebra.Quotient (#643) Had to do very little. Please let me know if there is something I missed. Starting mathlib commit: c3019c79074b0619edb4b27553a91b2e82242395
feat: port Algebra.Quotient (#643) Had to do very little. Please let me know if there is something I missed. Starting mathlib commit: c3019c79074b0619edb4b27553a91b2e82242395