Theorem CategoryTheory.MonoidalClosed.pre_map

Modification history