mathlib3
6fb3dee8 - still trying to show flat functors preserve finite limits

Commit

5 years ago

still trying to show flat functors preserve finite limits

Author

b-mehta

b-mehta

Parents

Loading