AlgebraicAnalysis v0.2.0

Reusable Lean 4 foundations for algebraic analysis: derivation-Ore extensions,
differential operators, filtered modules and their two-term pages, localization,
rank and length arguments, and hyperplane restriction.

This release builds against Lean v4.33.0 and Mathlib
db584cd6d46c92f209a44c0f1c829460d327499d, a commit on Mathlib's master
branch. The previous pin was Mathlib's v4.33.1 tag, which exists only on the
stable branch; the two Mathlib commits differ by one line in Mathlib's own
lean-toolchain file, so no Mathlib mathematics changed. The move keeps this
library usable by downstream projects that require a Mathlib revision reachable
from master.

Apache-2.0.

Exact source commit: dfdd2da091a9d67e7a29cc7914f192d746a2400d. This is the library release pinned by Stafford38 formal v1.0.2. The signed tag and source archive retain their original contents.