document.getElementById("med-ftitle").innerHTML=`在Coq中构建代数层次结构
`;