mathlib
dcbb59c4 - feat(category_theory/limits): is_limit.exists_unique (#11875)

Commit

3 years ago

feat(category_theory/limits): is_limit.exists_unique (#11875) Yet another restatement of the limit property which is occasionally useful.

Author

TwoFX

Parents