leanprover-community-bot-assistant

Results 8 comments of leanprover-community-bot-assistant

feat(combinatorics/simple_graph/triangle/basic): add ε-triangle-free far graph predicate

This PR/issue depends on: * ~~leanprover-community/mathlib#12982~~ * ~~leanprover-community/mathlib#13552~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!

feat(number_theory/miller_rabin): adding lemmas about the miller rabin primality test.

This PR/issue depends on: * ~~leanprover-community/mathlib#12973~~ * ~~leanprover-community/mathlib#12989~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!

Complexity Theory

This PR/issue depends on: * ~~leanprover-community/mathlib#11868~~ * ~~leanprover-community/mathlib#12001~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!

feat(ring_theory/graded_algebra): `mv_polynomial` is ℕ-graded

This PR/issue depends on: * ~~leanprover-community/mathlib#10113~~ * ~~leanprover-community/mathlib#10115~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!

refactor(LinearAlgebra/Matrix/SesquilinearForm): Sesquilinear Maps and Scalar Matrices

This pull request has conflicts, please merge `master` and resolve them.

feat(Bicategory/Functorbicategory): define bicategory of pseudofunctors

This pull request has conflicts, please merge `master` and resolve them.

feat(Bicategory/Functorbicategory): define bicategory of pseudofunctors

This pull request has conflicts, please merge `master` and resolve them.

feat(Bicactegory/NaturalTransformation): refactor strong natural transformations

This pull request has conflicts, please merge `master` and resolve them.