Theorem CategoryTheory.uncurry_pre

Modification history