| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Properties.Group
Documentation
d_Cancellative_122 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Identity_136 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_LeftCancellative_144 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_RightCancellative_162 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_ε'8315''185''8776'ε_208 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny Source #
d_left'45'helper_214 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_left'45'helper_214 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_right'45'helper_224 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_right'45'helper_224 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8729''45'cancel'737'_230 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8729''45'cancel'737'_230 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8729''45'cancel'691'_240 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8729''45'cancel'691'_240 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8729''45'cancel_250 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> T_Σ_14 Source #
d_'8315''185''45'involutive_254 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny Source #
d_'8315''185''45'injective_262 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8315''185''45'injective_262 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8315''185''45'anti'45'homo'45''8729'_274 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8315''185''45'anti'45'homo'45''8729'_274 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_identity'737''45'unique_284 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_identity'737''45'unique_284 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_identity'691''45'unique_296 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_identity'691''45'unique_296 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_identity'45'unique_306 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> T_Σ_14 -> AgdaAny Source #
du_identity'45'unique_306 :: T_Group_1062 -> AgdaAny -> T_Σ_14 -> AgdaAny Source #
d_inverse'737''45'unique_316 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_inverse'737''45'unique_316 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_inverse'691''45'unique_328 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_inverse'691''45'unique_328 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_left'45'identity'45'unique_336 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_left'45'identity'45'unique_336 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_right'45'identity'45'unique_338 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_right'45'identity'45'unique_338 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_left'45'inverse'45'unique_340 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_left'45'inverse'45'unique_340 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_right'45'inverse'45'unique_342 :: T_Level_14 -> T_Level_14 -> T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_right'45'inverse'45'unique_342 :: T_Group_1062 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #