feat(QuantumInfo): Fisher-Rao metric and Cramer-Rao bound on finite simplex - #1652

feat(QuantumInfo): Fisher-Rao metric and Cramer-Rao bound on finite simplex#1652

naype888-cloud wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

naype888-cloud:nava-fisher-rao-cramer-raonaype888-cloud/physlib:nava-fisher-rao-cramer-raoCopy head branch name to clipboard