mathlib3
fix(data/logic/basic): Use a Sort for classical.some_spec2
#1111
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
fix(data/logic/basic): Use a Sort for classical.some_spec2
#1111
ChrisHughes24
merged 1 commit into
master
from
ChrisHughes24-patch-1
fix(data/logic/basic): Use a Sort for classical.some_spec2
e78090c6
ChrisHughes24
requested a review
7 years ago
ChrisHughes24
merged
542d25d6
into master
7 years ago
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
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub