{"fqn":"KLean.Bio.DnaTm.meltingTemp_nonneg","short":"meltingTemp_nonneg","module":"KLean.Bio.DnaTm.MeltingTempNonneg","path":"KLean/Bio/DnaTm/MeltingTempNonneg.lean","claim":null,"verified":true,"axiom_level":"kernel-standard","olean_sha256":"3c562d97de5d3475b25b9a65c8cb28d3f105a12dff0401924b748f00c03bb0f7","quarantined":false,"statement":"theorem meltingTemp_nonneg (A T G C : ℕ) : 0 ≤ meltingTemp A T G C","topics":["biology"],"refs":[],"depends_on":["KLean.Bio.DnaTm.Base","KLean.Misc.Basic"],"used_by":["KLean.Bio.DnaTm","KLean.Bio.DnaTm.MeltingTempIncreasesWithGC","KLean.Bio.DnaTm.MeltingTempPosOfGc"],"compute":"/api/v1/klean/compute/dna_tm","seal":{"receipt_id":"d017cc7dffff572a7adc3c1d","digest":"ff9469cecfb2bfdf74174682d2499bf3dcc86c0d62e7197d6640fab11f61bd22","sealed_at":"2026-08-10T03:30:24.740384+00:00","time_source":"roughtime_chain"},"commit":"4b8413e1b8"}