Theorem CategoryTheory.Dial.rightUnitor_naturality

Modification history