fact: Definition EulerMascheroni_γ : Q := 0 + 5772156649015328606065120900824024310421593359399235988057672348 # (10^Pos.of_nat (String.length "5772156649015328606065120900824024310421593359399235988057672348")).
imports: Coq.Strings.String Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.QArith.QArith Coq.QArith.Qround Coq.QArith.Qabs Coq.QArith.Qminmax Coq.NArith.NArith Coq.ZArith.ZArith Coq.Arith.Arith Coq.Lists.List PerformanceExperiments.LetIn