chore: remove Equiv.toFun_as_coe_apply
(#7902)
#4969
The logs for this run have expired and are no longer available.
Loading
Equiv.toFun_as_coe_apply
(#7902)
#4969