regular_mono.lean

Commit

5 years ago

Update src/category_theory/limits/shapes/regular_mono.lean Co-Authored-By: Markus Himmel <markus@himmel-villmar.de>

References

Author

kim-em

Parents