card): instance `well_founded_of_trans_of_irrefl`
#18774

Open

chore(data/fintype/card): instance `well_founded_of_trans_of_irrefl` #18774

vihdzp wants to merge 6 commits into master from wf_of_so

is_well_founded_of_strict_order

da1ed027

golf

746416b2

vihdzp added awaiting-review

vihdzp added awaiting-CI

fix

00a41841

golf

80117a28

vihdzp added modifies-synchronized-file

fix

e9773aba

golf

eba678ad

vihdzp marked this pull request as draft 2 years ago

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-review awaiting-CI modifies-synchronized-file too-late

Milestone

No milestone