cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Rename Functions.FunExtEquiv to Functions.FunExt?

Open ecavallo opened this issue 2 years ago • 0 comments

Just for simplicity and accuracy. The contents aren't all equivalences.

ecavallo avatar Jun 02 '22 14:06 ecavallo