mathlib
f4b85690 - little fix

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

little fix

References

cpos-form-a-ccc

#4348 - feat(order/omega-cpo): cpos form a cartesian closed category

Author

cipher1024

cipher1024

Parents

FAQ Terms Privacy Refunds Impressum

Loading