mathlib
245f946a - feat(category_theory/limits/terminal): constructor for is_terminal

Commit

4 years ago

feat(category_theory/limits/terminal): constructor for is_terminal

Author

kim-em

kim-em

Parents

Loading