mathlib-dependent-issues-bot

Results 94 comments of mathlib-dependent-issues-bot

feat(data/polynomial/root_isolation): root_parity_in_range_of_evals

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

feat(set_theory/game/pgame): notation and basic API for `P{x | y}`, `P{x |}`, `P{| x}`

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

feat(probability/subgaussian): define sub-Gaussian random variables

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

refactor(linear_algebra/clifford_algebra): relax typeclasses to semiring

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