Index of /iblech/stuff/dickson

[ICO]NameLast modifiedSizeDescription
[TXT]Cubical.Data.Nat.html2025-06-20 02:01 876  
[TXT]Cubical.Data.Sum.html2025-06-20 02:01 876  
[TXT]Cubical.Data.Unit.html2025-06-20 02:01 890  
[TXT]Cubical.Data.Empty.html2025-06-20 02:00 891  
[TXT]Cubical.Data.Maybe.html2025-06-20 02:01 891  
[TXT]Cubical.Data.Sigma.html2025-06-20 02:01 892  
[TXT]Cubical.Data.FinData.html2025-06-20 02:01 905  
[TXT]Cubical.Relation.Nullary.html2025-06-20 02:01 934  
[TXT]Cubical.Core.Everything.html2025-06-20 02:00 1.0K 
[TXT]implicational.pl2025-06-20 02:06 1.0K 
[TXT]Cubical.HITs.PropositionalTruncation.html2025-06-20 02:01 1.2K 
[TXT]Cubical.Foundations.Pointed.html2025-06-20 02:01 1.6K 
[TXT]Agda.Builtin.Unit.html2025-06-20 02:00 1.7K 
[TXT]Relation.Binary.Lattice.html2025-06-20 02:00 1.7K 
[TXT]Function.Metric.Nat.html2025-06-20 02:00 1.8K 
[TXT]Agda.css2025-06-20 01:59 1.8K 
[TXT]Data.Unit.Polymorphic.html2025-06-20 02:00 1.9K 
[TXT]Data.Unit.Base.html2025-06-20 02:00 1.9K 
[TXT]Algebra.html2025-06-20 02:00 1.9K 
[TXT]Agda.Builtin.Word.html2025-06-20 02:00 2.0K 
[TXT]Relation.Binary.Indexed.Heterogeneous.html2025-06-20 02:00 2.1K 
[TXT]Relation.Binary.html2025-06-20 02:00 2.1K 
[TXT]Agda.Builtin.Maybe.html2025-06-20 02:00 2.3K 
[TXT]Data.List.html2025-06-20 02:00 2.3K 
[TXT]Agda.Builtin.Equality.html2025-06-20 01:59 2.6K 
[TXT]Function.Metric.Nat.Core.html2025-06-20 02:00 2.6K 
[TXT]Function.Metric.Core.html2025-06-20 02:00 2.8K 
[TXT]Agda.Builtin.Bool.html2025-06-20 02:00 3.1K 
[TXT]Agda.Builtin.Cubical.Path.html2025-06-20 02:00 3.2K 
[TXT]Data.Unit.Polymorphic.Base.html2025-06-20 02:00 3.3K 
[TXT]Algebra.Core.html2025-06-20 02:00 3.3K 
[TXT]Agda.Builtin.Sigma.html2025-06-20 02:00 3.4K 
[TXT]Agda.Builtin.Int.html2025-06-20 02:01 3.4K 
[TXT]Effect.Empty.html2025-06-20 02:00 3.4K 
[TXT]Cubical.HITs.PropositionalTruncation.Base.html2025-06-20 02:00 3.4K 
[TXT]Cubical.Data.Nat.Literals.html2025-06-20 02:00 3.5K 
[TXT]Relation.Binary.Reasoning.Preorder.html2025-06-20 02:00 3.7K 
[TXT]Data.Empty.Polymorphic.html2025-06-20 02:00 3.8K 
[TXT]Agda.Builtin.FromNat.html2025-06-20 02:00 4.0K 
[TXT]Agda.Builtin.FromNeg.html2025-06-20 02:00 4.0K 
[TXT]Agda.Builtin.Char.html2025-06-20 02:00 4.0K 
[TXT]Data.Fin.html2025-06-20 02:00 4.1K 
[TXT]Data.Fin.Patterns.html2025-06-20 02:00 4.3K 
[TXT]Effect.Choice.html2025-06-20 02:00 4.4K 
[TXT]Algebra.Lattice.Construct.NaturalChoice.MaxOp.html2025-06-20 02:00 4.5K 
[TXT]Cubical.Data.Empty.Base.html2025-06-20 02:00 4.6K 
[TXT]Agda.Builtin.List.html2025-06-20 02:00 4.7K 
[TXT]Cubical.Data.Unit.Base.html2025-06-20 02:00 4.7K 
[TXT]Data.Empty.html2025-06-20 02:00 5.0K 
[TXT]Function.Core.html2025-06-20 02:00 5.0K 
[TXT]Agda.Builtin.Cubical.Sub.html2025-06-20 02:00 5.1K 
[TXT]Data.Product.Relation.Unary.All.html2025-06-20 02:00 5.4K 
[TXT]Relation.Binary.Reasoning.Setoid.html2025-06-20 02:00 5.4K 
[TXT]Agda.Primitive.html2025-06-20 01:59 5.4K 
[TXT]Level.html2025-06-20 01:59 5.6K 
[TXT]Data.List.Relation.Unary.Unique.Setoid.html2025-06-20 02:01 5.7K 
[TXT]Data.Nat.html2025-06-20 02:00 5.9K 
[TXT]Algebra.Lattice.Properties.DistributiveLattice.html2025-06-20 02:00 6.0K 
[TXT]Relation.Nullary.html2025-06-20 02:00 6.3K 
[TXT]Algebra.Lattice.Construct.NaturalChoice.MinOp.html2025-06-20 02:00 6.3K 
[TXT]Data.List.Relation.Unary.AllPairs.Core.html2025-06-20 02:00 6.3K 
[TXT]Relation.Binary.Morphism.Definitions.html2025-06-20 02:00 6.3K 
[TXT]Data.List.Relation.Binary.Equality.Propositional.html2025-06-20 02:01 6.7K 
[TXT]Relation.Binary.PropositionalEquality.Algebra.html2025-06-20 02:00 7.0K 
[TXT]Algebra.Lattice.Bundles.Raw.html2025-06-20 02:00 7.2K 
[TXT]Data.Maybe.html2025-06-20 02:00 8.0K 
[TXT]Algebra.Properties.Semigroup.html2025-06-20 02:00 8.2K 
[TXT]Algebra.Consequences.Base.html2025-06-20 02:00 8.2K 
[TXT]Function.Indexed.Relation.Binary.Equality.html2025-06-20 02:00 8.2K 
[TXT]Data.Sign.Base.html2025-06-20 02:00 8.9K 
[TXT]Cubical.Homotopy.Base.html2025-06-20 02:01 9.0K 
[TXT]Function.Dependent.Bundles.html2025-06-20 02:00 9.3K 
[TXT]Data.List.Membership.Propositional.html2025-06-20 02:00 9.4K 
[TXT]Relation.Binary.Structures.Biased.html2025-06-20 02:00 9.5K 
[TXT]Agda.Builtin.Cubical.Glue.html2025-06-20 02:00 9.7K 
[TXT]Relation.Binary.Indexed.Heterogeneous.Definitions.html2025-06-20 02:00 9.8K 
[TXT]Agda.Builtin.String.html2025-06-20 02:01 10K 
[TXT]Relation.Binary.Properties.Preorder.html2025-06-20 02:00 10K 
[TXT]Function.Consequences.Propositional.html2025-06-20 02:00 11K 
[TXT]Algebra.Morphism.Definitions.html2025-06-20 02:00 11K 
[TXT]Algebra.Lattice.Properties.Semilattice.html2025-06-20 02:00 11K 
[TXT]Relation.Binary.Indexed.Heterogeneous.Bundles.html2025-06-20 02:00 11K 
[TXT]Data.Irrelevant.html2025-06-20 02:00 12K 
[TXT]Cubical.Data.Maybe.Base.html2025-06-20 02:01 12K 
[TXT]Data.Sum.html2025-06-20 02:00 12K 
[TXT]Relation.Binary.Lattice.Definitions.html2025-06-20 02:00 12K 
[TXT]Relation.Binary.Indexed.Heterogeneous.Core.html2025-06-20 02:00 13K 
[TXT]Cubical.Data.Sigma.Base.html2025-06-20 02:00 13K 
[TXT]Data.Bool.Base.html2025-06-20 02:00 13K 
[TXT]Effect.Functor.html2025-06-20 02:00 13K 
[TXT]Cubical.Data.Empty.Properties.html2025-06-20 02:00 13K 
[TXT]Data.List.Scans.Base.html2025-06-20 02:00 13K 
[TXT]Relation.Binary.Indexed.Heterogeneous.Structures.html2025-06-20 02:00 13K 
[TXT]Relation.Binary.Reasoning.Base.Single.html2025-06-20 02:00 14K 
[TXT]Induction.html2025-06-20 02:00 14K 
[TXT]Data.Nat.Divisibility.Core.html2025-06-20 02:00 16K 
[TXT]Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html2025-06-20 02:00 16K 
[TXT]Algebra.Properties.Quasigroup.html2025-06-20 02:00 17K 
[TXT]Cubical.Reflection.Base.html2025-06-20 02:01 17K 
[TXT]Cubical.Data.Sum.Base.html2025-06-20 02:00 17K 
[TXT]Algebra.Construct.NaturalChoice.Base.html2025-06-20 02:00 17K 
[TXT]Function.Metric.Nat.Definitions.html2025-06-20 02:00 17K 
[TXT]Relation.Binary.Properties.TotalOrder.html2025-06-20 02:00 17K 
[TXT]Cubical.Data.Prod.Base.html2025-06-20 02:01 18K 
[TXT]Algebra.Definitions.RawMagma.html2025-06-20 02:00 18K 
[TXT]Algebra.Construct.NaturalChoice.MaxOp.html2025-06-20 02:00 18K 
[TXT]Function.Metric.Nat.Structures.html2025-06-20 02:00 18K 
[TXT]Algebra.Lattice.Construct.NaturalChoice.MinMaxOp.html2025-06-20 02:00 18K 
[TXT]Relation.Nullary.Recomputable.html2025-06-20 02:00 18K 
[TXT]Cubical.Foundations.Structure.html2025-06-20 02:01 18K 
[TXT]Data.Parity.Base.html2025-06-20 02:00 19K 
[TXT]Cubical.Structures.Pointed.html2025-06-20 02:01 19K 
[TXT]Cubical.Functions.Fixpoint.html2025-06-20 02:00 19K 
[TXT]Function.Properties.RightInverse.html2025-06-20 02:00 19K 
[TXT]Relation.Binary.Core.html2025-06-20 02:00 19K 
[TXT]Axiom.UniquenessOfIdentityProofs.html2025-06-20 02:00 20K 
[TXT]Data.List.Membership.Setoid.html2025-06-20 02:00 20K 
[TXT]Relation.Nullary.Negation.Core.html2025-06-20 02:00 20K 
[TXT]Algebra.Properties.Loop.html2025-06-20 02:00 21K 
[TXT]Axiom.Extensionality.Propositional.html2025-06-20 02:00 21K 
[TXT]Function.Definitions.html2025-06-20 02:00 21K 
[TXT]Cubical.Relation.Nullary.Base.html2025-06-20 02:00 22K 
[TXT]Function.Metric.Structures.html2025-06-20 02:00 22K 
[TXT]Function.Consequences.Setoid.html2025-06-20 02:00 23K 
[TXT]Cubical.HITs.PropositionalTruncation.MagicTrick.html2025-06-20 02:01 23K 
[TXT]Agda.Builtin.Nat.html2025-06-20 02:00 23K 
[TXT]Cubical.Data.Vec.NAry.html2025-06-20 02:01 24K 
[TXT]Agda.Primitive.Cubical.html2025-06-20 02:00 24K 
[TXT]Relation.Binary.Properties.Setoid.html2025-06-20 02:00 24K 
[TXT]Cubical.Data.List.Base.html2025-06-20 02:01 24K 
[TXT]Cubical.Foundations.Pointed.FunExt.html2025-06-20 02:01 24K 
[TXT]Data.Nat.Induction.html2025-06-20 02:00 24K 
[TXT]Data.Maybe.Relation.Binary.Connected.html2025-06-20 02:00 25K 
[TXT]Cubical.Induction.WellFounded.html2025-06-20 02:01 25K 
[TXT]Data.Sum.Base.html2025-06-20 02:00 26K 
[TXT]Data.Unit.Polymorphic.Properties.html2025-06-20 02:00 27K 
[TXT]Cubical.Foundations.Powerset.html2025-06-20 02:01 27K 
[TXT]Data.Product.html2025-06-20 02:00 28K 
[TXT]Cubical.Data.Bool.Base.html2025-06-20 02:00 28K 
[TXT]Function.Metric.Nat.Bundles.html2025-06-20 02:00 28K 
[TXT]Cubical.Data.Vec.Base.html2025-06-20 02:01 29K 
[TXT]Data.List.Relation.Binary.Pointwise.Base.html2025-06-20 02:00 31K 
[TXT]Data.Maybe.Relation.Unary.Any.html2025-06-20 02:00 31K 
[TXT]Cubical.Reflection.StrictEquiv.html2025-06-20 02:01 32K 
[TXT]Relation.Binary.Reasoning.Base.Double.html2025-06-20 02:00 32K 
[TXT]Agda.Builtin.Float.html2025-06-20 02:01 32K 
[TXT]Data.Sum.Algebra.html2025-06-20 02:00 32K 
[TXT]Cubical.Data.Nat.Base.html2025-06-20 02:00 34K 
[TXT]Cubical.Foundations.Equiv.Base.html2025-06-20 02:00 34K 
[TXT]Effect.Monad.html2025-06-20 02:00 34K 
[TXT]Relation.Nullary.Decidable.html2025-06-20 02:00 34K 
[TXT]Relation.Binary.Properties.Poset.html2025-06-20 02:00 34K 
[TXT]Function.Consequences.html2025-06-20 02:00 35K 
[TXT]Function.Metric.Definitions.html2025-06-20 02:00 35K 
[TXT]Relation.Binary.PropositionalEquality.Core.html2025-06-20 02:00 35K 
[TXT]Data.These.Base.html2025-06-20 02:00 36K 
[TXT]Effect.Applicative.html2025-06-20 02:00 36K 
[TXT]Cubical.Data.FinData.Base.html2025-06-20 02:01 36K 
[TXT]Data.List.Relation.Unary.AllPairs.html2025-06-20 02:00 36K 
[TXT]Function.Metric.Bundles.html2025-06-20 02:00 37K 
[TXT]Data.Maybe.Base.html2025-06-20 02:00 37K 
[TXT]Data.List.Relation.Binary.Pointwise.Properties.html2025-06-20 02:00 37K 
[TXT]Relation.Nullary.Negation.html2025-06-20 02:00 38K 
[TXT]Relation.Binary.Morphism.Structures.html2025-06-20 02:00 38K 
[TXT]Data.List.Relation.Unary.Any.html2025-06-20 02:00 38K 
[TXT]Cubical.Core.Primitives.html2025-06-20 02:00 39K 
[TXT]Cubical.Structures.Axioms.html2025-06-20 02:01 39K 
[TXT]Algebra.Lattice.Structures.html2025-06-20 02:00 39K 
[TXT]Cubical.Core.Glue.html2025-06-20 02:00 41K 
[TXT]Algebra.Lattice.Properties.Lattice.html2025-06-20 02:00 42K 
[TXT]Relation.Nullary.Reflects.html2025-06-20 02:00 42K 
[TXT]Relation.Unary.PredicateTransformer.html2025-06-20 02:00 44K 
[TXT]Function.Construct.Identity.html2025-06-20 02:00 45K 
[TXT]Cubical.Data.Unit.Properties.html2025-06-20 02:01 47K 
[TXT]Function.Structures.html2025-06-20 02:00 47K 
[TXT]Algebra.Morphism.html2025-06-20 02:00 47K 
[TXT]Algebra.Consequences.Propositional.html2025-06-20 02:00 48K 
[TXT]Relation.Binary.Construct.Composition.html2025-06-20 02:00 49K 
[TXT]Data.List.Relation.Binary.Equality.Setoid.html2025-06-20 02:01 50K 
[TXT]Relation.Binary.PropositionalEquality.html2025-06-20 02:00 50K 
[TXT]Data.List.Relation.Unary.Linked.html2025-06-20 02:00 51K 
[TXT]Algebra.Lattice.Bundles.html2025-06-20 02:00 51K 
[TXT]Data.Product.Algebra.html2025-06-20 02:00 52K 
[TXT]Agda.Builtin.Cubical.HCompU.html2025-06-20 02:00 53K 
[TXT]Agda.Builtin.Cubical.Equiv.html2025-06-20 02:00 53K 
[TXT]Function.Properties.Inverse.html2025-06-20 02:00 53K 
[TXT]Data.Maybe.Relation.Unary.All.html2025-06-20 02:00 54K 
[TXT]Relation.Binary.Reasoning.Base.Triple.html2025-06-20 02:00 54K 
[TXT]Algebra.Construct.NaturalChoice.MinMaxOp.html2025-06-20 02:00 56K 
[TXT]Data.Product.Properties.html2025-06-20 02:00 57K 
[TXT]Cubical.Foundations.Pointed.Homotopy.html2025-06-20 02:01 59K 
[TXT]Data.Sum.Properties.html2025-06-20 02:00 60K 
[TXT]Cubical.Foundations.Equiv.Fiberwise.html2025-06-20 02:01 61K 
[TXT]Relation.Binary.Lattice.Structures.html2025-06-20 02:00 62K 
[TXT]Cubical.Functions.Fibration.html2025-06-20 02:01 63K 
[TXT]Algebra.Bundles.Raw.html2025-06-20 02:00 64K 
[TXT]Relation.Binary.Structures.html2025-06-20 02:00 64K 
[TXT]Cubical.Foundations.SIP.html2025-06-20 02:01 65K 
[TXT]Algebra.Structures.Biased.html2025-06-20 02:00 65K 
[TXT]Relation.Nullary.Decidable.Core.html2025-06-20 02:00 67K 
[TXT]Data.Nat.GeneralisedArithmetic.html2025-06-20 02:00 68K 
[TXT]Relation.Binary.Lattice.Bundles.html2025-06-20 02:00 69K 
[TXT]Algebra.Properties.Group.html2025-06-20 02:00 70K 
[TXT]Function.Construct.Symmetry.html2025-06-20 02:00 72K 
[TXT]Relation.Binary.Construct.NonStrictToStrict.html2025-06-20 02:00 73K 
[TXT]Function.Base.html2025-06-20 02:00 76K 
[TXT]Relation.Binary.Construct.Flip.EqAndOrd.html2025-06-20 02:00 77K 
[TXT]Relation.Binary.Construct.NaturalOrder.Left.html2025-06-20 02:00 80K 
[TXT]Relation.Binary.Construct.Intersection.html2025-06-20 02:00 81K 
[TXT]Relation.Binary.Bundles.html2025-06-20 02:00 86K 
[TXT]Data.Product.Base.html2025-06-20 02:00 87K 
[TXT]Cubical.Foundations.Pointed.Base.html2025-06-20 02:01 88K 
[TXT]Relation.Binary.Reasoning.Syntax.html2025-06-20 02:00 90K 
[TXT]Cubical.Foundations.Equiv.HalfAdjoint.html2025-06-20 02:00 92K 
[TXT]Cubical.Data.Maybe.Properties.html2025-06-20 02:01 92K 
[TXT]Relation.Unary.html2025-06-20 02:00 93K 
[TXT]Induction.WellFounded.html2025-06-20 02:00 94K 
[TXT]Relation.Binary.Definitions.html2025-06-20 02:00 98K 
[TXT]Relation.Binary.Consequences.html2025-06-20 02:00 101K 
[TXT]Data.Nat.Base.html2025-06-20 02:00 101K 
[TXT]Cubical.Relation.Nullary.Properties.html2025-06-20 02:01 106K 
[TXT]Algebra.Construct.NaturalChoice.MinOp.html2025-06-20 02:00 108K 
[TXT]Relation.Binary.PropositionalEquality.Properties.html2025-06-20 02:00 109K 
[TXT]Cubical.Foundations.Function.html2025-06-20 02:00 109K 
[TXT]Cubical.Foundations.CartesianKanOps.html2025-06-20 02:01 110K 
[TXT]Data.List.Relation.Unary.All.html2025-06-20 02:00 110K 
[TXT]Algebra.Properties.CommutativeSemigroup.html2025-06-20 02:00 112K 
[TXT]Relation.Unary.Properties.html2025-06-20 02:00 114K 
[TXT]Data.Fin.Base.html2025-06-20 02:00 114K 
[TXT]Function.Construct.Composition.html2025-06-20 02:00 117K 
[TXT]Algebra.Definitions.html2025-06-20 02:00 118K 
[TXT]Data.List.Relation.Binary.Pointwise.html2025-06-20 02:00 128K 
[TXT]Function.Bundles.html2025-06-20 02:00 128K 
[TXT]Cubical.Foundations.Isomorphism.html2025-06-20 02:00 128K 
[TXT]Data.List.NonEmpty.Base.html2025-06-20 02:00 142K 
[TXT]Data.Vec.Base.html2025-06-20 02:00 150K 
[TXT]Cubical.Foundations.Equiv.Properties.html2025-06-20 02:01 151K 
[TXT]Cubical.Foundations.Pointed.Homogeneous.html2025-06-20 02:01 158K 
[TXT]Cubical.Functions.FunExtEquiv.html2025-06-20 02:01 159K 
[TXT]Cubical.Foundations.Transport.html2025-06-20 02:01 160K 
[TXT]Agda.Builtin.Reflection.html2025-06-20 02:01 163K 
[TXT]Data.Nat.Divisibility.html2025-06-20 02:00 170K 
[TXT]Dickson.html2025-06-20 02:01 172K 
[TXT]Cubical.Data.Sum.Properties.html2025-06-20 02:01 176K 
[TXT]Algebra.Consequences.Setoid.html2025-06-20 02:00 179K 
[TXT]Cubical.Foundations.Pointed.Properties.html2025-06-20 02:01 189K 
[TXT]Cubical.Data.Nat.Properties.html2025-06-20 02:01 192K 
[TXT]Cubical.Foundations.Equiv.html2025-06-20 02:00 193K 
[TXT]Data.Bool.Properties.html2025-06-20 02:00 201K 
[TXT]Algebra.Morphism.Structures.html2025-06-20 02:00 204K 
[TXT]Data.List.Base.html2025-06-20 02:00 221K 
[TXT]Cubical.Foundations.Univalence.html2025-06-20 02:01 222K 
[TXT]Data.Nat.DivMod.Core.html2025-06-20 02:00 224K 
[TXT]Algebra.Structures.html2025-06-20 02:00 230K 
[TXT]Cubical.Functions.Embedding.html2025-06-20 02:01 247K 
[TXT]Algebra.Bundles.html2025-06-20 02:00 278K 
[TXT]Cubical.Data.FinData.Properties.html2025-06-20 02:01 283K 
[TXT]Algebra.Lattice.Properties.BooleanAlgebra.html2025-06-20 02:00 291K 
[TXT]Cubical.Data.Nat.Order.html2025-06-20 02:01 306K 
[TXT]Cubical.Foundations.Path.html2025-06-20 02:01 312K 
[TXT]Cubical.Data.Sigma.Properties.html2025-06-20 02:01 313K 
[TXT]Cubical.Foundations.Prelude.html2025-06-20 02:00 354K 
[TXT]Data.Nat.DivMod.html2025-06-20 02:00 356K 
[TXT]Cubical.Foundations.GroupoidLaws.html2025-06-20 02:00 373K 
[TXT]Cubical.HITs.PropositionalTruncation.Properties.html2025-06-20 02:01 443K 
[TXT]Cubical.Foundations.HLevels.html2025-06-20 02:01 541K 
[TXT]Data.Fin.Properties.html2025-06-20 02:00 547K 
[TXT]Data.List.Properties.html2025-06-20 02:00 833K 
[TXT]Data.Nat.Properties.html2025-06-20 02:00 933K 
Apache/2.4.65 (Debian) Server at www.speicherleck.de Port 443