Theorem CategoryTheory.tensor_μ_def₁

Modification history