# mathlib-oleans 4.35.0

The math library of Lean 4

Snapshot of gominimal/pkgs commit `22201ed00866a02618b7cf42578df056a2699333` (pushed 2026-11-07T01:37:55.000Z).

## Install

```sh
min add mathlib-oleans
```

## Direct advisories

None at this commit.

## Transitive advisories

None at this commit.

## Dependencies

- Build (1): base
- Runtime (1): lean

## Links

- Homepage: https://leanprover-community.github.io/mathlib4_docs
- Package page (HTML): https://minimal.dev/pkgs/mathlib-oleans
- JSON API (floats latest): https://minimal.dev/api/pkgs/mathlib-oleans.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/mathlib-oleans/sbom.json
- Build attestations (JSON): https://minimal.dev/api/pkgs/mathlib-oleans/attestation.json