07 2023 档案

摘要:2023-7-28, 今天又去验血, 血脂体检结果如下: 对比 :2021/2022 最近一次检查甘油三脂,验证苯扎贝特/瑞舒伐他汀的效果。 甘油三脂 处理正常值以内,HCY同型半胱氨酸也 降了。 国际标准化比值(INR),华法令要求:2.0 ~3.0左右,1.97 也合适。 凝血酶原时间(PT)2 阅读全文
posted @ 2023-07-28 16:15 Hopesun 阅读(33) 评论(0) 推荐(0) 编辑
摘要:1、官方: Lean (leanprover.github.io) 社区:Lean community (leanprover-community.github.io) (github.com): leanprover-community/mathlib4: Work in progress mat 阅读全文
posted @ 2023-07-26 16:00 Hopesun 阅读(149) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示