| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Properties.Ring
Documentation
d_'8729''45'cancel_210 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> T_Σ_14 Source #
d_'8729''45'cancel'691'_212 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8729''45'cancel'691'_212 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8729''45'cancel'737'_214 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8729''45'cancel'737'_214 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_identity'45'unique_216 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> T_Σ_14 -> AgdaAny Source #
du_identity'45'unique_216 :: T_Ring_2612 -> AgdaAny -> T_Σ_14 -> AgdaAny Source #
d_identity'691''45'unique_218 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_identity'691''45'unique_218 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_identity'737''45'unique_220 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_identity'737''45'unique_220 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_inverse'691''45'unique_222 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_inverse'691''45'unique_222 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_inverse'737''45'unique_224 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_inverse'737''45'unique_224 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_left'45'identity'45'unique_226 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_left'45'identity'45'unique_226 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_left'45'inverse'45'unique_228 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_left'45'inverse'45'unique_228 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_right'45'identity'45'unique_230 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_right'45'identity'45'unique_230 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_right'45'inverse'45'unique_232 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_right'45'inverse'45'unique_232 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_ε'8315''185''8776'ε_234 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny Source #
d_'8315''185''45''8729''45'comm_236 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8315''185''45'anti'45'homo'45''8729'_238 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8315''185''45'anti'45'homo'45''8729'_238 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8315''185''45'injective_240 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8315''185''45'injective_240 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8315''185''45'involutive_242 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny Source #
d_xyx'8315''185''8776'y_244 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_xyx'8315''185''8776'y_244 :: T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'45''8255'distrib'737''45''42'_250 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'45''8255'distrib'691''45''42'_260 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'45''8255''42''45'distrib'737'_270 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'45''8255''42''45'distrib'691'_280 :: T_Level_14 -> T_Level_14 -> T_Ring_2612 -> AgdaAny -> AgdaAny -> AgdaAny Source #