Skip to content

add comment explaining why instance prio is being lowered

84f381f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

perf(Algebra/EuclideanDomain/Defs): prio decrease of EuclideanDomain.toCommRing #39263

add comment explaining why instance prio is being lowered
84f381f
Select commit
Loading
Failed to load commit list.