typos, thanks - SemanticDiff

Commit

5 years ago

typos, thanks Co-Authored-By: Markus Himmel <markus@himmel-villmar.de>

References

#2154 - feat(category_theory): regular monos

Author

kim-em

kim-em

Parents

Loading