Documentation

d__'42'__54 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du__'42'__54 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d__'43'__56 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du__'43'__56 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d__'8776'__58 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> () Source #

d_'45'__136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny Source #

du_'45'__136 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny Source #

d_0'35'_144 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny Source #

du_0'35'_144 :: T_AlmostCommutativeRing_178 -> AgdaAny Source #

d_1'35'_146 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny Source #

du_1'35'_146 :: T_AlmostCommutativeRing_178 -> AgdaAny Source #

d_lemma'8320'_242 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8320'_242 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8321'_262 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8321'_262 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8322'_282 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8322'_282 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem_296 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem_296 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8323'_306 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8323'_306 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8324'_326 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8324'_326 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8321''8242'_342 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8321''8242'_342 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8321'_344 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8321'_344 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8322'_346 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8322'_346 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8325'_350 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny Source #

du_lemma'8325'_350 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny Source #

d_lemma'8326'_358 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8326'_358 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lemma'8327'_366 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_RawRing_2558 -> T_AlmostCommutativeRing_178 -> T__'45'Raw'45'AlmostCommutative'10230'__358 -> AgdaAny -> AgdaAny Source #

du_lemma'8327'_366 :: T_AlmostCommutativeRing_178 -> AgdaAny -> AgdaAny Source #