module
Index
where
open
import
ФОРМАЛИЗУЕМ_ИЗОМОРФИЗМ_КАРРИ-ГОВАРДА_В_AGDA