Documentation

d_isEquivalence_24 :: T_Level_14 -> T_Level_14 -> T_IsEquivalence_26 Source #

du_isEquivalence_24 :: T_IsEquivalence_26 Source #

d_'8596''45'isEquivalence_28 :: T_Level_14 -> T_IsEquivalence_26 Source #

du_'8596''45'isEquivalence_28 :: T_IsEquivalence_26 Source #

d_Inverse'8658'Bijection_32 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Inverse_1052 -> T_Bijection_844 Source #

du_Inverse'8658'Bijection_32 :: T_Setoid_44 -> T_Inverse_1052 -> T_Bijection_844 Source #

d_Inverse'8658'Equivalence_116 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Inverse_1052 -> T_Equivalence_928 Source #

du_Inverse'8658'Equivalence_116 :: T_Inverse_1052 -> T_Equivalence_928 Source #

d_'8596''8658''10518'_198 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Inverse_1052 -> T_Bijection_844 Source #

du_'8596''8658''10518'_198 :: T_Inverse_1052 -> T_Bijection_844 Source #

d_'8596''8658''8660'_200 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Inverse_1052 -> T_Equivalence_928 Source #

du_'8596''8658''8660'_200 :: T_Inverse_1052 -> T_Equivalence_928 Source #