Commit 2026-08-22 23:25 6dcdb48d

View on Github →

chore: make IsStronglyAtomic.of_wellFounded_lt into an instance (#42360) We use the WellFoundedLT typeclass, instead of writing WellFounded (· < ·) explicitly.

Estimated changes