Formalisation of the category of Hopf algebras in \textsf{Lean4}

DOI10.1007/978-3-031-64529-7_9MaRDI QIDQ6637795FDOQ6637795

Authors: Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou 

Publication date: 13 November 2024

zbMATH Keywords

Hopf algebraformalisationaffine group schemesanti-equivalenceLean

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Title not available (Why is that?)

This page was built for publication: Formalisation of the category of Hopf algebras in \textsf{Lean4}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637795)