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

Estimated changes