mathlib3
48645152 - feat(category_theory): lemmas about cancellation (#1005)

Commit

6 years ago

feat(category_theory): lemmas about cancellation (#1005) * feat(category_theory): lemmas about cancellation * rename hypotheses * Squeeze proofs

References

Author

kim-em

Parents