mathlib3
940eb868 - just use large_category, to escape universe hell??

Commit

6 years ago

just use large_category, to escape universe hell??

Author

Scott Morrison

Committer

Scott Morrison

Parents

Loading