Documentation

d_IsAbelianGroup_116 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #

d_IsCommutativeMonoid_124 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_IsCommutativeRing_126 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #

d_IsCommutativeSemiring_130 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #

d_IsGroup_134 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #

d_IsMagma_144 :: p1 -> p2 -> p3 -> p4 -> () Source #

d_IsMonoid_146 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_IsRing_152 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #

d_IsSemigroup_158 :: p1 -> p2 -> p3 -> p4 -> () Source #

d_IsSemiring_160 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #

d__DistributesOver__1594 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d__DistributesOver'691'__1596 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d__DistributesOver'737'__1598 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Associative_1610 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Commutative_1614 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Congruent'8322'_1618 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Identity_1626 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Inverse_1630 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Involutive_1632 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny) -> () Source #

d_LeftIdentity_1646 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_LeftInverse_1648 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_LeftZero_1650 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightIdentity_1664 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightInverse_1666 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_RightZero_1668 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_Zero_1672 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #

d_IsBooleanAlgebra_1738 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #

d_poset_2184 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Poset_282 Source #

du_poset_2184 :: T_BooleanAlgebra_714 -> T_Poset_282 Source #

d_'8743''45'idem_2186 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8743''45'idem_2186 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8743''45'isBand_2188 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsBand_242 Source #

du_'8743''45'isBand_2188 :: T_BooleanAlgebra_714 -> T_IsBand_242 Source #

d_'8743''45'isMagma_2190 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMagma_98 Source #

du_'8743''45'isMagma_2190 :: T_BooleanAlgebra_714 -> T_IsMagma_98 Source #

d_'8743''45'isOrderTheoreticJoinSemilattice_2192 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsJoinSemilattice_22 Source #

du_'8743''45'isOrderTheoreticJoinSemilattice_2192 :: T_BooleanAlgebra_714 -> T_IsJoinSemilattice_22 Source #

d_'8743''45'isOrderTheoreticMeetSemilattice_2194 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMeetSemilattice_168 Source #

du_'8743''45'isOrderTheoreticMeetSemilattice_2194 :: T_BooleanAlgebra_714 -> T_IsMeetSemilattice_168 Source #

d_'8743''45'isSemigroup_2196 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemigroup_206 Source #

du_'8743''45'isSemigroup_2196 :: T_BooleanAlgebra_714 -> T_IsSemigroup_206 Source #

d_'8743''45'isSemilattice_2198 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemilattice_1576 Source #

du_'8743''45'isSemilattice_2198 :: T_BooleanAlgebra_714 -> T_IsSemilattice_1576 Source #

d_'8743''45'orderTheoreticJoinSemilattice_2200 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_JoinSemilattice_14 Source #

du_'8743''45'orderTheoreticJoinSemilattice_2200 :: T_BooleanAlgebra_714 -> T_JoinSemilattice_14 Source #

d_'8743''45'orderTheoreticMeetSemilattice_2202 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_MeetSemilattice_188 Source #

du_'8743''45'orderTheoreticMeetSemilattice_2202 :: T_BooleanAlgebra_714 -> T_MeetSemilattice_188 Source #

d_'8743''45'semilattice_2204 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Semilattice_10 Source #

du_'8743''45'semilattice_2204 :: T_BooleanAlgebra_714 -> T_Semilattice_10 Source #

d_'8743''45''8744''45'distrib_2206 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8743''45''8744''45'distrib_2206 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8743''45''8744''45'distributiveLattice_2208 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_DistributiveLattice_616 Source #

du_'8743''45''8744''45'distributiveLattice_2208 :: T_BooleanAlgebra_714 -> T_DistributiveLattice_616 Source #

d_'8743''45''8744''45'distrib'691'_2210 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45''8744''45'distrib'691'_2210 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45''8744''45'distrib'737'_2212 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45''8744''45'distrib'737'_2212 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45''8744''45'isDistributiveLattice_2214 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsDistributiveLattice_1950 Source #

du_'8743''45''8744''45'isDistributiveLattice_2214 :: T_BooleanAlgebra_714 -> T_IsDistributiveLattice_1950 Source #

d_'8743''45''8744''45'isLattice_2216 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsLattice_1876 Source #

du_'8743''45''8744''45'isLattice_2216 :: T_BooleanAlgebra_714 -> T_IsLattice_1876 Source #

d_'8743''45''8744''45'lattice_2218 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Lattice_532 Source #

du_'8743''45''8744''45'lattice_2218 :: T_BooleanAlgebra_714 -> T_Lattice_532 Source #

d_'8744''45'idem_2220 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8744''45'idem_2220 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8744''45'isBand_2222 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsBand_242 Source #

du_'8744''45'isBand_2222 :: T_BooleanAlgebra_714 -> T_IsBand_242 Source #

d_'8744''45'isMagma_2224 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMagma_98 Source #

du_'8744''45'isMagma_2224 :: T_BooleanAlgebra_714 -> T_IsMagma_98 Source #

d_'8743''45'isOrderTheoreticJoinSemilattice_2226 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsJoinSemilattice_22 Source #

du_'8743''45'isOrderTheoreticJoinSemilattice_2226 :: T_BooleanAlgebra_714 -> T_IsJoinSemilattice_22 Source #

d_'8743''45'isOrderTheoreticMeetSemilattice_2228 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMeetSemilattice_168 Source #

du_'8743''45'isOrderTheoreticMeetSemilattice_2228 :: T_BooleanAlgebra_714 -> T_IsMeetSemilattice_168 Source #

d_'8744''45'isSemigroup_2230 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemigroup_206 Source #

du_'8744''45'isSemigroup_2230 :: T_BooleanAlgebra_714 -> T_IsSemigroup_206 Source #

d_'8744''45'isSemilattice_2232 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemilattice_1576 Source #

du_'8744''45'isSemilattice_2232 :: T_BooleanAlgebra_714 -> T_IsSemilattice_1576 Source #

d_'8743''45'orderTheoreticJoinSemilattice_2234 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_JoinSemilattice_14 Source #

du_'8743''45'orderTheoreticJoinSemilattice_2234 :: T_BooleanAlgebra_714 -> T_JoinSemilattice_14 Source #

d_'8743''45'orderTheoreticMeetSemilattice_2236 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_MeetSemilattice_188 Source #

du_'8743''45'orderTheoreticMeetSemilattice_2236 :: T_BooleanAlgebra_714 -> T_MeetSemilattice_188 Source #

d_'8744''45'semilattice_2238 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Semilattice_10 Source #

du_'8744''45'semilattice_2238 :: T_BooleanAlgebra_714 -> T_Semilattice_10 Source #

d_'8744''45''8743''45'distrib_2240 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8744''45''8743''45'distrib_2240 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8744''45''8743''45'distrib'737'_2242 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8744''45''8743''45'distrib'737'_2242 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8744''45''8743''45'isOrderTheoreticLattice_2244 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsLattice_316 Source #

du_'8744''45''8743''45'isOrderTheoreticLattice_2244 :: T_BooleanAlgebra_714 -> T_IsLattice_316 Source #

d_'8744''45''8743''45'orderTheoreticLattice_2246 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Lattice_362 Source #

du_'8744''45''8743''45'orderTheoreticLattice_2246 :: T_BooleanAlgebra_714 -> T_Lattice_362 Source #

d_'8743''45''8744''45'isBooleanAlgebra_2248 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsBooleanAlgebra_2026 Source #

du_'8743''45''8744''45'isBooleanAlgebra_2248 :: T_BooleanAlgebra_714 -> T_IsBooleanAlgebra_2026 Source #

d_'8743''45''8744''45'booleanAlgebra_2250 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_BooleanAlgebra_714 Source #

du_'8743''45''8744''45'booleanAlgebra_2250 :: T_BooleanAlgebra_714 -> T_BooleanAlgebra_714 Source #

d_'8743''45'identity'691'_2252 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8743''45'identity'691'_2252 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8743''45'identity'737'_2256 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8743''45'identity'737'_2256 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8743''45'identity_2258 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8743''45'identity_2258 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8744''45'identity'691'_2260 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8744''45'identity'691'_2260 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8744''45'identity'737'_2264 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8744''45'identity'737'_2264 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8744''45'identity_2266 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8744''45'identity_2266 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8743''45'zero'691'_2268 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8743''45'zero'691'_2268 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8743''45'zero'737'_2272 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8743''45'zero'737'_2272 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8743''45'zero_2274 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8743''45'zero_2274 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8744''45'zero'691'_2278 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8744''45'zero'691'_2278 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8744''45'zero'737'_2282 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8744''45'zero'737'_2282 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8744''45'zero_2284 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8744''45'zero_2284 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8744''45''8869''45'isMonoid_2286 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMonoid_370 Source #

du_'8744''45''8869''45'isMonoid_2286 :: T_BooleanAlgebra_714 -> T_IsMonoid_370 Source #

d_'8743''45''8868''45'isMonoid_2288 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMonoid_370 Source #

du_'8743''45''8868''45'isMonoid_2288 :: T_BooleanAlgebra_714 -> T_IsMonoid_370 Source #

d_'8744''45''8869''45'isCommutativeMonoid_2290 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsCommutativeMonoid_420 Source #

du_'8744''45''8869''45'isCommutativeMonoid_2290 :: T_BooleanAlgebra_714 -> T_IsCommutativeMonoid_420 Source #

d_'8743''45''8868''45'isCommutativeMonoid_2292 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsCommutativeMonoid_420 Source #

du_'8743''45''8868''45'isCommutativeMonoid_2292 :: T_BooleanAlgebra_714 -> T_IsCommutativeMonoid_420 Source #

d_'8744''45''8743''45'isSemiring_2294 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemiring_1136 Source #

du_'8744''45''8743''45'isSemiring_2294 :: T_BooleanAlgebra_714 -> T_IsSemiring_1136 Source #

d_'8743''45''8744''45'isSemiring_2296 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemiring_1136 Source #

du_'8743''45''8744''45'isSemiring_2296 :: T_BooleanAlgebra_714 -> T_IsSemiring_1136 Source #

d_'8744''45''8743''45'isCommutativeSemiring_2298 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsCommutativeSemiring_1244 Source #

du_'8744''45''8743''45'isCommutativeSemiring_2298 :: T_BooleanAlgebra_714 -> T_IsCommutativeSemiring_1244 Source #

d_'8743''45''8744''45'isCommutativeSemiring_2300 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsCommutativeSemiring_1244 Source #

du_'8743''45''8744''45'isCommutativeSemiring_2300 :: T_BooleanAlgebra_714 -> T_IsCommutativeSemiring_1244 Source #

d_'8744''45''8743''45'commutativeSemiring_2302 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_CommutativeSemiring_2036 Source #

du_'8744''45''8743''45'commutativeSemiring_2302 :: T_BooleanAlgebra_714 -> T_CommutativeSemiring_2036 Source #

d_'8743''45''8744''45'commutativeSemiring_2304 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_CommutativeSemiring_2036 Source #

du_'8743''45''8744''45'commutativeSemiring_2304 :: T_BooleanAlgebra_714 -> T_CommutativeSemiring_2036 Source #

d_lemma_2310 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma_2310 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8869''8777''8868'_2320 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny Source #

du_'8869''8777''8868'_2320 :: T_BooleanAlgebra_714 -> AgdaAny Source #

d_'8868''8777''8869'_2322 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny Source #

du_'8868''8777''8869'_2322 :: T_BooleanAlgebra_714 -> AgdaAny Source #

d_'172''45'involutive_2324 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'172''45'involutive_2324 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_deMorgan'8321'_2332 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_deMorgan'8321'_2332 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8321'_2342 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8321'_2342 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8323'_2344 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8323'_2344 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8322'_2346 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8322'_2346 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_deMorgan'8322'_2352 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_deMorgan'8322'_2352 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d__'8853'__2368 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du__'8853'__2368 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_helper_2378 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_helper_2378 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'cong_2384 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'cong_2384 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'comm_2398 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'comm_2398 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'172''45'distrib'737''45''8853'_2408 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'172''45'distrib'737''45''8853'_2408 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem_2422 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem_2422 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'172''45'distrib'691''45''8853'_2432 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'172''45'distrib'691''45''8853'_2432 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'annihilates'45''172'_2442 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'annihilates'45''172'_2442 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'identity'737'_2448 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8853''45'identity'737'_2448 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8853''45'identity'691'_2452 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8853''45'identity'691'_2452 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8853''45'identity_2454 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_'8853''45'identity_2454 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_'8853''45'inverse'737'_2456 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8853''45'inverse'737'_2456 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8853''45'inverse'691'_2460 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8853''45'inverse'691'_2460 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8853''45'inverse_2462 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_'8853''45'inverse_2462 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_'8743''45'distrib'737''45''8853'_2464 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'737''45''8853'_2464 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8322'_2476 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8322'_2476 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8321'_2478 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8321'_2478 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8323'_2480 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8323'_2480 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'691''45''8853'_2482 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'691''45''8853'_2482 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'45''8853'_2484 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_'8743''45'distrib'45''8853'_2484 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_lemma'8322'_2494 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lemma'8322'_2494 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'assoc_2504 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'assoc_2504 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8321'_2516 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8321'_2516 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8322''8242'_2518 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8322''8242'_2518 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8322'_2520 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8322'_2520 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8323'_2522 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8323'_2522 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8324''8242'_2524 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8324''8242'_2524 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8324'_2526 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8324'_2526 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_lem'8325'_2528 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_lem'8325'_2528 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'isMagma_2530 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsMagma_98 Source #

du_'8853''45'isMagma_2530 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsMagma_98 Source #

d_'8853''45'isSemigroup_2532 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemigroup_206 Source #

du_'8853''45'isSemigroup_2532 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsSemigroup_206 Source #

d_'8853''45''8869''45'isMonoid_2534 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #

du_'8853''45''8869''45'isMonoid_2534 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #

d_'8853''45''8869''45'isGroup_2536 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsGroup_652 Source #

du_'8853''45''8869''45'isGroup_2536 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsGroup_652 Source #

d_'8853''45''8869''45'isAbelianGroup_2538 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsAbelianGroup_740 Source #

du_'8853''45''8869''45'isAbelianGroup_2538 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsAbelianGroup_740 Source #

d_'8853''45''8743''45'isRing_2540 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsRing_1610 Source #

du_'8853''45''8743''45'isRing_2540 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsRing_1610 Source #

d_'8853''45''8743''45'isCommutativeRing_2542 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsCommutativeRing_1756 Source #

du_'8853''45''8743''45'isCommutativeRing_2542 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsCommutativeRing_1756 Source #

d_'8853''45''8743''45'commutativeRing_2544 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_CommutativeRing_2814 Source #

du_'8853''45''8743''45'commutativeRing_2544 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_CommutativeRing_2814 Source #

d_'8853''45''172''45'distrib'737'_2546 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45''172''45'distrib'737'_2546 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45''172''45'distrib'691'_2548 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45''172''45'distrib'691'_2548 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isCommutativeRing_2550 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsCommutativeRing_1756 Source #

du_isCommutativeRing_2550 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsCommutativeRing_1756 Source #

d_commutativeRing_2552 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_CommutativeRing_2814 Source #

du_commutativeRing_2552 :: T_BooleanAlgebra_714 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_CommutativeRing_2814 Source #

d__'8853'__2554 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_commutativeRing_2566 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_CommutativeRing_2814 Source #

du_commutativeRing_2566 :: T_BooleanAlgebra_714 -> T_CommutativeRing_2814 Source #

d_isCommutativeRing_2568 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsCommutativeRing_1756 Source #

du_isCommutativeRing_2568 :: T_BooleanAlgebra_714 -> T_IsCommutativeRing_1756 Source #

d_'172''45'distrib'691''45''8853'_2570 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'172''45'distrib'691''45''8853'_2570 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'172''45'distrib'737''45''8853'_2572 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'172''45'distrib'737''45''8853'_2572 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'45''8853'_2574 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8743''45'distrib'45''8853'_2574 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8743''45'distrib'691''45''8853'_2576 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'691''45''8853'_2576 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8743''45'distrib'737''45''8853'_2578 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8743''45'distrib'737''45''8853'_2578 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'annihilates'45''172'_2580 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'annihilates'45''172'_2580 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'assoc_2582 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'assoc_2582 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'comm_2584 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'comm_2584 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'cong_2586 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45'cong_2586 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45'identity_2588 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8853''45'identity_2588 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8853''45'identity'691'_2590 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8853''45'identity'691'_2590 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8853''45'identity'737'_2592 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8853''45'identity'737'_2592 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8853''45'inverse_2594 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_Σ_14 Source #

du_'8853''45'inverse_2594 :: T_BooleanAlgebra_714 -> T_Σ_14 Source #

d_'8853''45'inverse'691'_2596 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8853''45'inverse'691'_2596 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8853''45'inverse'737'_2598 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

du_'8853''45'inverse'737'_2598 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny Source #

d_'8853''45'isMagma_2600 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMagma_98 Source #

du_'8853''45'isMagma_2600 :: T_BooleanAlgebra_714 -> T_IsMagma_98 Source #

d_'8853''45'isSemigroup_2602 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsSemigroup_206 Source #

du_'8853''45'isSemigroup_2602 :: T_BooleanAlgebra_714 -> T_IsSemigroup_206 Source #

d_'8853''45''172''45'distrib'691'_2604 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45''172''45'distrib'691'_2604 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45''172''45'distrib'737'_2606 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8853''45''172''45'distrib'737'_2606 :: T_BooleanAlgebra_714 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8853''45''8743''45'commutativeRing_2608 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_CommutativeRing_2814 Source #

du_'8853''45''8743''45'commutativeRing_2608 :: T_BooleanAlgebra_714 -> T_CommutativeRing_2814 Source #

d_'8853''45''8743''45'isCommutativeRing_2610 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsCommutativeRing_1756 Source #

du_'8853''45''8743''45'isCommutativeRing_2610 :: T_BooleanAlgebra_714 -> T_IsCommutativeRing_1756 Source #

d_'8853''45''8743''45'isRing_2612 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsRing_1610 Source #

du_'8853''45''8743''45'isRing_2612 :: T_BooleanAlgebra_714 -> T_IsRing_1610 Source #

d_'8853''45''8869''45'isAbelianGroup_2614 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsAbelianGroup_740 Source #

du_'8853''45''8869''45'isAbelianGroup_2614 :: T_BooleanAlgebra_714 -> T_IsAbelianGroup_740 Source #

d_'8853''45''8869''45'isGroup_2616 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsGroup_652 Source #

du_'8853''45''8869''45'isGroup_2616 :: T_BooleanAlgebra_714 -> T_IsGroup_652 Source #

d_'8853''45''8869''45'isMonoid_2618 :: T_Level_14 -> T_Level_14 -> T_BooleanAlgebra_714 -> T_IsMonoid_370 Source #

du_'8853''45''8869''45'isMonoid_2618 :: T_BooleanAlgebra_714 -> T_IsMonoid_370 Source #