mathlib3
fix(data/logic/basic): Use a Sort for classical.some_spec2
#1111
Merged

fix(data/logic/basic): Use a Sort for classical.some_spec2 #1111

ChrisHughes24 merged 1 commit into master from ChrisHughes24-patch-1
ChrisHughes24
ChrisHughes24 fix(data/logic/basic): Use a Sort for classical.some_spec2
e78090c6
ChrisHughes24 ChrisHughes24 requested a review 7 years ago
ChrisHughes24 ChrisHughes24 merged 542d25d6 into master 7 years ago
ChrisHughes24 ChrisHughes24 deleted the ChrisHughes24-patch-1 branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone