问题描述
我有以下工作代码usinf destruct (le_lt_dec n a).
rewrite (leb_correct _ _ l).
rewrite (leb_correct_conv _ _ l).
destruct (eq_dec n 0).
rewrite (eqb_correct _ _ l).
rewrite (eqb_correct_conv _ _ l).
(0<=?f1)=true ->
(0=?f1)=true.
:
python-docx
现在,我想要一个表头中具有三列的表,而不是三个选项卡,但是我不知道从哪里开始以及如何做。
非常感谢
解决方法
records = (
(3,'Spam','Meow'),(7,'Eggs',(4,'Spam,spam,eggs,and spam','Meow')
)
table = document.add_table(rows=1,cols=3)
table.style = 'TableGrid' # apply styling
header_cells = table.rows[0].cells
header_cells[0].text = 'ID'
header_cells[1].text = 'Name'
header_cells[2].text = 'Cat'
for id,desc,meow in records:
row_cells = table.add_row().cells
row_cells[0].text = str(id)
row_cells[1].text = desc
row_cells[2].text = meow
document.save('Test.docx')