mathlib3
chore(logic/hydra): instance `well_founded.cut_expand`
#18757

Open

chore(logic/hydra): instance `well_founded.cut_expand` #18757

vihdzp wants to merge 1 commit into master from hydra_typeclass

instance

4fdb452f

vihdzp added awaiting-review

vihdzp requested a review from

alreadydone 2 years ago

vihdzp added modifies-synchronized-file

alreadydone commented on 2023-04-07

YaelDillies removed awaiting-review

YaelDillies added awaiting-author

kim-em added too-late

Reviewers

alreadydone

Assignees

No one assigned

Labels

awaiting-author modifies-synchronized-file too-late

Milestone

No milestone