Theorem CategoryTheory.tensor_μ_def₂

Modification history