Theorem CategoryTheory.tensor_μ_natural_left

Modification history