Commit 2025-08-04 09:17 f7eb4c0d

View on Github →

chore(Quot): fix Quotient.liftOn₂_mk (#27303)

Estimated changes

modified theorem Quotient.liftOn₂_mk