Formalization of the existence of Frobenius elements

DOI10.1007/978-3-031-64529-7_7MaRDI QIDQ6637791

Jou Glasheen

Publication date: 13 November 2024

zbMATH Keywords

Frobeniusproof assistantLeanAKLB

Mathematics Subject Classification ID

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

Cites Work

• Number fields
• Engel's theorem in Mathlib
• Group cohomology in the Lean community library
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Formalization of the existence of Frobenius elements

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