This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
chore(logic/hydra): instance well_founded.cut_expand#18757
Open
vihdzp wants to merge 1 commit intomasterfrom hydra_typeclass
+3-2
