Theorem CategoryTheory.Dial.tensor_id

Modification history