mathlib3
chore(order/filter): rephrase filter.has_le
#1399
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
chore(order/filter): rephrase filter.has_le
#1399
mergify
merged 2 commits into
master
from
filter-order-tweak
chore(order/filter): rephrase filter.has_le
85fd317a
PatrickMassot
requested a review
6 years ago
PatrickMassot
assigned
sgouezel
6 years ago
sgouezel
approved these changes on 2019-09-05
sgouezel
added
ready-to-merge
Merge branch 'master' into filter-order-tweak
3b9081f8
mergify
merged
7f208430
into master
6 years ago
mergify
deleted the filter-order-tweak branch
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
sgouezel
Assignees
sgouezel
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub