mathlib3
feat(tactic/basic): folding over the environment, to get all declarat…
#798

Merged

feat(tactic/basic): folding over the environment, to get all declarat… #798

cipher1024 merged 3 commits into master from tactic-basic-environment

feat(tactic/basic): folding over the environment, to get all declarat…

dc50c63c

kim-em requested a review from

digama0 6 years ago

cipher1024 assigned

cipher1024 6 years ago

cipher1024 assigned

digama0 6 years ago

digama0 commented on 2019-03-07

renaming environment.{decl_omap=>filter_map,decl_map=>map}

0bfd1c9f

digama0 approved these changes on 2019-03-08

adjusting names per Simon's suggestions

2a1d521a

cipher1024 merged 33602670 into master 6 years ago

cipher1024 deleted the tactic-basic-environment branch 6 years ago

Reviewers

digama0

cipher1024

Assignees

cipher1024

digama0

Labels

None yet

Milestone

No milestone