mathlib3
feat(tactic/clear_except): clear most of the assumptions in context
#957
Merged
Overview
Commits
1
Changes
View On GitHub

feat(tactic/clear_except): clear most of the assumptions in context #957

cipher1024 merged 1 commit into master from clear-except
cipher1024
cipher1024 feat(tactic/clear_except): clear most of the assumptions in context
a8f83696
cipher1024 cipher1024 requested a review 7 years ago
cipher1024 cipher1024 merged 9daa1a57 into master 7 years ago
cipher1024 cipher1024 deleted the clear-except branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum