We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
freudenthal
This doesn't seem right:
freudenthal@{u u0 u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 u17 u18 u19 u20 u21 u22 u23 u24 u25 u26 u27 u28 u29 u30 u31 u32 u33 u34 u35 u36 u37 u38 u39 u40 u41 u42 u43 u44 u45 u46 u47 u48 u49 u50 u51 u52 u53 u54}
We should clean up whatever is causing this. I suspect the problems start with pType.
The text was updated successfully, but these errors were encountered:
386fa08
Reduce universe vars in SPushout and freudenthal
a8bb4e2
Closes HoTT#1531
No branches or pull requests
This doesn't seem right:
We should clean up whatever is causing this. I suspect the problems start with pType.
The text was updated successfully, but these errors were encountered: