Commit 2021-04-19 09:07 184e0fe4
View on Github →fix(equiv/ring): fix bad typeclasses on ring_equiv.trans_apply (#7258)
ring_equiv.trans
had weaker typeclasses than the lemma which unfolds it.
fix(equiv/ring): fix bad typeclasses on ring_equiv.trans_apply (#7258)
ring_equiv.trans
had weaker typeclasses than the lemma which unfolds it.