zulip chat - Robuta Search

https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.236642.3A.20refactor(module.2Fsubmodule).3A.20allow.20submodules.20to.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2312429.3A.20feat.3A.20toND.20--.20auto-generating.20natDegree.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Packings.2C.20coverings.2C.20nets.2C.20uniform.20discretesness.20et.2E.20al.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.237003.3A.20Add.20a.20user.20command.20to.20print.20the.20declarations.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.236954.3A.20feat(archive.2Fimo).3A.20add.202014.20Q1.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2319164.3A.20Add.20.60toWithTop.60.2C.20.60ofWithTop.60.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.2316021.3A.20Lean.20is.20unable.20to.20infer.20.60ordered_smul.60.20inst.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.233748.3A.20WIP.3A.20new.20datatype.20compiler.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Universe-heterogeneous.20ordinal.20and.20cardinal.20relations.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/116395-maths/topic/The.20consistency.20of.20NF.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/type.20class.20inference.20fails.20at.20unification.3F.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/data.2Efinmap.20mathlib4.231591.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Diamond.20issue.20in.20Algebra.2EStar.2EBasic.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.232710.3A.20More.20on.20quotients.20of.20categories.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/How.20to.20find.20instances.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.232102.3A.20Document.20.60_eta.60.2C.20.60_beta.60.20etc.20in.20.60naming.60.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/CI.20loops.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2316774.3A.20feat(information_theory.2Flinear_code).3A.20Define.20l.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.2319341.3A.20Sharpness.20in.20linear_combination.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.23740.3A.20add.20protected.20after.20the.20fact.3F.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Integer.20absolute.20difference.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.231101.3A.20.22basic.22.20extensions.20for.20.60positivity.60.20tactic.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.2311622.3A.20simps.20generates.20lemmas.20for.20propositions.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.232492.3A.20refactor(data.2Fpolynomial).3A.20use.20.60monoid_algebra.2E.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/270676-lean4/topic/Literate.20programming.20in.20Lean4.20.2F.20Lean4.20.2B.20Org.20mode.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/completion.20should.20be.20capitalized.3F.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Nonempty.20regression.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.2317887.3A.20Support.20of.20partial.20derivative.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.231093.3A.20basic.20theory.20of.20Lie.20algebras.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.231608.3A.20catch.20leftover.20.60set_option.60.20commands.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2319066.3A.20feat(SetTheory.2FOrdinal.2FNimber.2FField).3A.20Nimber.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/EmbeddingLike.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/!4.233758.20.E2.80.93.20rfl.20refactor.20.26.20fix.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/288720-mathlib-documentation/topic/category_theory.2Ecategory.2Ebasic.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2318806.3A.20feat(analysis.2Fconvex.2Ffunction).3A.20Product.20of.20con.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.232427.3A.20.60positivity.60.20enhancement.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/LinearAlgebra.2EGaussianElimination.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/mathlib.20contributors.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Cotransitivity.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.234660.3A.20Library.20note.20for.20when.20implicit.20arguments.20are.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Working.20on.20Lindel.C3.B6f.20spaces.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.237534.3A.20feat.3A.20Add.20.60measurableEquiv_nat_bool_of_counta.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/performance.20issues.20with.20.60SubringClass.60.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.236108.3A.20Consequences.20of.20H.C3.B6lder.20inequality.20for.20cont.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Quadratic.20slowdown.20in.20building.20mathlib.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/113489-new-members/topic/In.20a.20set.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/113488-general/topic/Computational.20Complexity.20Theory.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Wrong.20universes.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/positivity.20failure.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/!4.233836.20CategoryTheory.2ESites.2ECompatiblePlus.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.2315860.3A.20Pi.20is.20irrational.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/algebra.20hierarchy.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2316965.3A.20feat(data.2F.7Bfinset.2Cset.7D.2Fbasic).3A.20A.20nonempty.20set.20.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/conv.25.20and.20changes.20to.20.23conv.20(and.20friends).html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/IMO.20problems.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/using.20mathlib3port.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.232819.3A.20feat(number_theory.2Fgeometry_of_numbers).3A.20Minkow.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.235269.3A.20feat(linear_algebra.2Falternating).3A.20Add.20dom_coprod.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Matrix.2EdotProduct.20rename.3F.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/induction.2C.20case.2C.20rcases.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.234956.3A.20feat(archive.2Fimo).3A.20formalise.201979.20Q1.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/288720-mathlib-documentation/topic/stream.20events.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.237891.3A.20feat(algebra.2Fordered_.7Bfield.2C.20group.7D).3A.20lemmas.20ab.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/nth_rewrite.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/obtain.20with.20holes.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.238399.3A.20feat(archive).3A.20mccune.20axiom.20defines.20groups.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/CoeFun.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.2315566.3A.20Define.20Hermite.20polynomials.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2318887.3A.20feat(analysis.2Fspecific_limits.2Fcomplex).html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20!4.2311445.3A.20Porting.20note.3A.20added.20.60definition.60.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.238362.3A.20feat(Asymptotics).3A.20define.20.60ReflectsGrowth.60.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Recognize.20numeric.20literals.20as.20Fin.2Esucc.20in.20Fin.20n.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2317653.3A.20feat(ring_theory.2Fintegral_domain).3A.20generalize.20.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Galois.20theory.20of.20finite.20fields.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/typeclass.20inference.20failure.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2315679.3A.20test.3A.20refactor.20in.20CI.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Building.20tests.20failure.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2320652.3A.20feat.3A.20categorical.20description.20of.20center.20of.20a.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Adding.20Keywords.20to.20search.20the.20library.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2317886.3A.20chore(data.2Ffinset.2Fimage).3A.20reduce.20imports.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.2317590.3A.20feat(measure_theory.2Fgroup.2Faction).3A.20.60smul_invar.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/mathport.20and.20leanproject.20build.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Import.20error.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/montgomery.20reduction.20proof.20--.20would.20love.20some.20feedback!.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2310230.3A.20chore.3A.20Delete.20some.20orphaned.20porting.20notes.20an.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.2313574.3A.20padic_norm.20file.20maintenance.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.234321.3A.20feat(algebra.2Ffree_algebra).3A.20Define.20a.20grading.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/to_additive.20failure.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/issue.20.231044.3A.20bundling.20morphisms.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/adding.20to.20std.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/WithTop.20is.20a.20SuccOrder.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/Instance.20priorities.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.2321127.3A.20feat(Combinatorics.2FSimpleGraph).3A.20the.20Andr.C3.A1sf.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20!4.235919.3A.20feat.3A.20implement.20orthogonality.20for.20AffineSubspace.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.235672.3A.20feat(algebra.2Fsubalgebra).3A.20Trivial.20subalgebra.20ha.2E.2E.2E.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/287929-mathlib4/topic/SetLike.20coe.20to.20type.20display.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://leanprover-community.github.io/archive/stream/303200-sphere-eversion/index.html Zulip Chat Archive The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib. zulip chat archive https://zulip.com/ Zulip — organized team chat Zulip is an organized team chat app for distributed teams of all sizes. zulip organized team chat https://leanprover.zulipchat.com/ Public view of Lean | Zulip team chat Browse the publicly accessible channels in Lean without logging in. public view lean zulip team chat https://julialang.zulipchat.com/ Public view of Julia Community | Zulip team chat Browse the publicly accessible channels in Julia Community without logging in. public view julia community zulip team