mathlib - Robuta Search

https://mathlib-initiative.org/ Mathlib Initiative The Mathlib Initiative supports the development of mathematical libraries in the Lean theorem prover. mathlib initiative https://leanprover-community.github.io/mathlib4_docs/Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.html Mathlib.Analysis.Calculus.IteratedDeriv.Lemmas mathlib analysis calculus https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Order/Ring/Pow.html Mathlib.Algebra.Order.Ring.Pow mathlib algebra order ring pow https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Action/Pi.html Mathlib.Algebra.Group.Action.Pi algebra group mathlib action pi https://mathlib-changelog.org/v4/theorem/Multiset.sub_filter_eq_filter_not Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/commit/6e7ca692 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v4/theorem/MeasureTheory.tendsto_measure_of_tendsto_indicator_of_isFiniteMeasure Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Algebra/Group/Commute/Defs.html Mathlib.Algebra.Group.Commute.Defs algebra group mathlib commute https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/VectorBundle/Riemannian.html Mathlib.Topology.VectorBundle.Riemannian mathlib topology https://leanprover-community.github.io/mathlib4_docs/Mathlib/Analysis/SpecialFunctions/Complex/CircleMap.html Mathlib.Analysis.SpecialFunctions.Complex.CircleMap mathlib analysis complex https://mathlib-changelog.org/v3/commit/ecec43a2 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Tactic/NormNum/Pow.html Mathlib.Tactic.NormNum.Pow mathlib tactic pow https://leanprover-community.github.io/mathlib4_docs/Mathlib/LinearAlgebra/QuadraticForm/Isometry.html Mathlib.LinearAlgebra.QuadraticForm.Isometry mathlib https://mathlib-changelog.org/v3/def/category_theory.abelian.epi_is_cokernel_of_kernel Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/commit/0d16bb4d Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/commit/89174191 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Combinatorics/SetFamily/Shadow.html Mathlib.Combinatorics.SetFamily.Shadow mathlib combinatorics shadow https://mathlib-changelog.org/v3/commit/b0b61e6f Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/commit/bcbf0d56 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Computability/TuringMachine/Computable.html Mathlib.Computability.TuringMachine.Computable mathlib computability computable https://mathlib-initiative.org/about/ About — Mathlib Initiative The Mathlib Initiative supports the development of mathematical libraries in the Lean theorem prover. mathlib initiative https://mathlib-changelog.org/v3/def/category_theory.limits.biproduct.%CE%B9 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Analysis/InnerProductSpace/Continuous.html Mathlib.Analysis.InnerProductSpace.Continuous mathlib analysis continuous https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/Instances/AddCircle/Real.html Mathlib.Topology.Instances.AddCircle.Real mathlib topology instances real https://mathlib-changelog.org/v4/commit/1150bf56 Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/def/cartan_matrix.relations.HF Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/theorem/finite.card_eq_zero_iff Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/CategoryTheory/Whiskering.html Mathlib.CategoryTheory.Whiskering mathlib https://mathlib-changelog.org/v3/theorem/intermediate_field.fixing_subgroup.antimono Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/CategoryTheory/WithTerminal/Cone.html Mathlib.CategoryTheory.WithTerminal.Cone mathlib cone https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Init/Order/Defs.html Mathlib.Init.Order.Defs mathlib init order https://mathlib-changelog.org/v3/def/FinPartialOrder.of Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/commit/e0547059 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v4/commit/206c7bb9 Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/theorem/diffeomorph.symm_trans Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v4/theorem/Finset.dens_eq_sum_dens_image Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/commit/c3019c79 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/Separation/Hausdorff.html Mathlib.Topology.Separation.Hausdorff mathlib topology separation hausdorff https://mathlib-changelog.org/v3/commit/47b51515 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/CategoryTheory/Limits/Preserves/Shapes/Zero.html Mathlib.CategoryTheory.Limits.Preserves.Shapes.Zero mathlib limits preserves shapes zero https://leanprover-community.github.io/mathlib4_docs/Mathlib/Combinatorics/SetFamily/AhlswedeZhang.html Mathlib.Combinatorics.SetFamily.AhlswedeZhang mathlib combinatorics https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Algebra/Lie/Weights/Basic.html Mathlib.Algebra.Lie.Weights.Basic mathlib algebra lie weights basic https://leanprover-community.github.io/mathlib4_docs/Mathlib/Data/Set/SMulAntidiagonal.html Mathlib.Data.Set.SMulAntidiagonal data set mathlib https://mathlib-changelog.org/v3/def/arithcc.value Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/queueboard/triage.html?search=MrQubo Mathlib review and triage dashboard mathlib review triage dashboard https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Topology/Algebra/Order/Rolle.html Mathlib.Topology.Algebra.Order.Rolle mathlib topology algebra order rolle https://leanprover-community.github.io/mathlib4_docs/Mathlib/Tactic/Field.html Mathlib.Tactic.Field mathlib tactic field https://mathlib-changelog.org/v3/theorem/finite.injective_iff_surjective_of_equiv Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/queueboard/triage.html?search=hommmmm Mathlib review and triage dashboard mathlib review triage dashboard https://doxygen.opengeosys.org/stable/d6/d74/classMathLib_1_1PETScMatrix.html OGS: MathLib::PETScMatrix Class Reference ogs mathlib class reference https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Algebra/Algebra/Hom.html Mathlib.Algebra.Algebra.Hom mathlib algebra hom https://leanprover-community.github.io/queueboard/triage.html?search=SamuelSchlesinger Mathlib review and triage dashboard mathlib review triage dashboard https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/Bornology/Constructions.html Mathlib.Topology.Bornology.Constructions mathlib topology constructions https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/GroupWithZero/Units/Equiv.html Mathlib.Algebra.GroupWithZero.Units.Equiv mathlib algebra units https://mathlib-changelog.org/v3/def/CpltSepUniformSpace.of Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/ContinuousMap/StoneWeierstrass.html Mathlib.Topology.ContinuousMap.StoneWeierstrass mathlib topology https://leanprover-community.github.io/mathlib4_docs/Mathlib/NumberTheory/Padics/Hensel.html Mathlib.NumberTheory.Padics.Hensel mathlib hensel https://mathlib-changelog.org/v3/theorem/ae_measurable.inv Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/def/category_theory.comonad.simps.%CE%B4 Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/theorem/monoid.exponent_ne_zero_of_fintype Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Star/Basic.html Mathlib.Algebra.Star.Basic mathlib algebra star basic https://mathlib-changelog.org/v3/def/continuous_map.compact_conv_nhd Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://cs.brown.edu/courses/cs1951x/docs/topology/shrinking_lemma.html topology.shrinking_lemma - mathlib docs The shrinking lemma: In this file we prove a few versions of the shrinking lemma. The lemma says that in a normal topological space a point finite open... topology shrinking lemma mathlib docs https://mathlib-changelog.org/v4/commit/dcd738d0 Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/def/algebraic_geometry.PresheafedSpace.stalk_map Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Divisibility/Basic.html Mathlib.Algebra.Divisibility.Basic mathlib algebra divisibility basic https://mathlib-changelog.org/v3/def/algebraic_geometry.LocallyRingedSpace.is_open_immersion.pullback_cone_of_left_is_limit Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/theorem/orthonormal_basis.coe_of_repr Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/RingTheory/HahnSeries/Basic.html Mathlib.RingTheory.HahnSeries.Basic mathlib basic https://leanprover-community.github.io/mathlib4_docs/Mathlib/MeasureTheory/Measure/Lebesgue/EqHaar.html Mathlib.MeasureTheory.Measure.Lebesgue.EqHaar mathlib measure lebesgue https://mathlib-changelog.org/v3/def/algebraic_geometry.is_affine_open Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/ContinuousMap/Bounded/Normed.html Mathlib.Topology.ContinuousMap.Bounded.Normed mathlib topology bounded https://mathlib-changelog.org/v3/def/Top.prod_iso_prod Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/queueboard/triage.html?search=ertwro Mathlib review and triage dashboard mathlib review triage dashboard https://mathlib-changelog.org/v3/theorem/min_add_max Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/CategoryTheory/Abelian/Ext.html Mathlib.CategoryTheory.Abelian.Ext mathlib ext https://leanprover-community.github.io/mathlib4_docs/Mathlib/MeasureTheory/Measure/QuasiMeasurePreserving.html Mathlib.MeasureTheory.Measure.QuasiMeasurePreserving mathlib measure https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/LinearAlgebra/Multilinear/Basic.html Mathlib.LinearAlgebra.Multilinear.Basic mathlib basic https://mathlib-changelog.org/v3/def/affine_isometry_equiv.mk' Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Geometry/Manifold/IsManifold/InteriorBoundary.html Mathlib.Geometry.Manifold.IsManifold.InteriorBoundary mathlib geometry manifold https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Data/Set/Defs.html Mathlib.Data.Set.Defs data set mathlib https://leanprover-community.github.io/mathlib4_docs/Mathlib/MeasureTheory/Integral/CircleIntegral.html Mathlib.MeasureTheory.Integral.CircleIntegral mathlib integral https://mathlib-changelog.org/v3/def/add_equiv.to_linear_equiv Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Analysis/SpecialFunctions/Integrability/Basic.html Mathlib.Analysis.SpecialFunctions.Integrability.Basic mathlib analysis basic https://leanprover-community.github.io/mathlib4_docs/Mathlib/Logic/Basic.html Mathlib.Logic.Basic mathlib logic basic https://mathlib-changelog.org/v3/def/add_monoid_algebra.algebra_map' Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://mathlib-changelog.org/v3/def/category_theory.costructured_arrow.iso_mk Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://cs.brown.edu/courses/cs1951x/docs/algebra/divisibility.html algebra.divisibility - mathlib docs Divisibility: This file defines the basics of the divisibility relation in the context of `(comm_)` `monoid`s `(_with_zero)`. Main definitions:... algebra divisibility mathlib docs https://mathlib-changelog.org/v4/def/SimpleGraph.ConnectedComponent.toSimpleGraph_hom Mathlib Changelog v4 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://leanprover-community.github.io/mathlib4_docs/Mathlib/Geometry/Euclidean/Angle/Unoriented/RightAngle.html Mathlib.Geometry.Euclidean.Angle.Unoriented.RightAngle mathlib geometry euclidean angle https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/Nilpotent.html Mathlib.GroupTheory.Nilpotent mathlib https://mathlib-initiative.org/privacy/ Privacy Policy — Mathlib Initiative The Mathlib Initiative supports the development of mathematical libraries in the Lean theorem prover. privacy policy mathlib initiative https://mathlib-changelog.org/v3/def/add_subsemigroup.to_subsemigroup' Mathlib Changelog v3 Mathlib Changelog - Changes List for Lean Mathlib mathlib changelog https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Data/FunLike/Basic.html Mathlib.Data.FunLike.Basic mathlib data basic