Commit 2025-06-22 09:40 e004dbe1
View on Github →chore(CategoryTheory/MorphismProperty): the trivial property is stable under (co)base change (#26228)
chore(CategoryTheory/MorphismProperty): the trivial property is stable under (co)base change (#26228)