Commit 2024-06-20 03:21 9ddf87ee

View on Github →

chore(CategoryTheory/Monoidal/Comon_): cleanup (#13316)

Estimated changes

modified theorem Comon_.comul_assoc_flip