Tags: LionSR/QICLean

QICLean v0.2.1: cloud-release build archives

Identical library content to v0.2.0; adds the release configuration so
consumers fetch prebuilt build archives for this and every later tag.

QICLean v0.2.0: the Kraus namespace completed

The tensor-namespace compatibility layer is dissolved: every declaration
speaks the finite-Kraus vocabulary, the matrix-product-state vocabulary
returns to the tensor-network library, and the blueprint carries its own
chapter numbering opened by a chapter on states and observables.

QICLean v0.1.2: restore rectangular-span finrank constancy API

Patch release restoring Kraus.rectSpan_nilpIndex_finrank_constant', which was accidentally removed in v0.1.1. The restored statement and proof are byte-for-byte identical to v0.1.0. All 9229 QICLean build jobs pass on Mathlib v4.34.0-rc1.

QICLean v0.1.1: post-extraction cleanup and Choi deduplication

Re-adopts extracted import aggregators, removes redundant import frontiers, refreshes moved module references, and specializes the square Choi API from the rectangular implementation while preserving compatibility names. Built successfully with 9229 jobs on Mathlib v4.34.0-rc1.

QICLean v0.1.0: the quantum-channel and entropy library extracted fro…

…m TNLean

Finite-dimensional quantum channels following Wolf's Quantum Channels &
Operations: representations (Choi, Kraus, Stinespring), Kadison-Schwarz
theory, quantum Perron-Frobenius and peripheral spectral theory, GKSL
semigroups, entropy, and the quantum Wielandt inequality. 517 modules,
built on Mathlib v4.34.0-rc1.