Mathlib Changelog
Changelog
About
Github
Commit
2019-07-24 05:14
b0c52519
View on Github →
cleanup(category_theory/monoidal): use equiv on prod/punit intead of adding new constants (
#1257
)
Estimated changes
Modified
src/category_theory/monoidal/types.lean
deleted
def
category_theory.monoidal.types_associator
deleted
def
category_theory.monoidal.types_associator_inv
deleted
def
category_theory.monoidal.types_braiding
deleted
def
category_theory.monoidal.types_braiding_inv
deleted
def
category_theory.monoidal.types_left_unitor
deleted
def
category_theory.monoidal.types_left_unitor_inv
deleted
def
category_theory.monoidal.types_right_unitor
deleted
def
category_theory.monoidal.types_right_unitor_inv