Commit 2024-01-09 08:14 6eb51c69

View on Github →

feat: add multiplicative versions of equivOfFullyFaithful and isoEquivOfFullyFaithful (#9566) Adds multiplicative versions of equivOfFullyFaithful and isoEquivOfFullyFaithful.

Estimated changes