Project-declaredLean 4.28.0
No cloning
MState.no_cloning
Project documentation
The No-cloning theorem, saying that if states Ļ and Ļ can both be perfectly cloned using a unitary U and a fiducial state f, and they aren't identical (their inner product is less than 1), then the two states must be orthogonal to begin with. In short: only orthogonal states can be simultaneously cloned.
quantum informationentropyquantum channels
Source project: quantumInfo
Person-level attribution pending.