Skip to content
continuous integration (staging)

feat(CategoryTheory/Monoidal): replace πŸ™ X βŠ— f with X ◁ f (#10912) #6898

Sign in to view logs

feat(CategoryTheory/Monoidal): replace πŸ™ X βŠ— f with X ◁ f (#10912)

feat(CategoryTheory/Monoidal): replace πŸ™ X βŠ— f with X ◁ f (#10912) #6898

Annotations

1 warning

Check all files imported

Check all files imported
succeeded Mar 1, 2024 in 9s