Commit 2024-03-24 17:50 f4fd1b19

View on Github →

feat(Logic/IsEmpty): add instances for Quot and Quotient (#11616)

Estimated changes