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
.
feat: add multiplicative versions of equivOfFullyFaithful
and isoEquivOfFullyFaithful
(#9566)
Adds multiplicative versions of equivOfFullyFaithful
and isoEquivOfFullyFaithful
.