Normal extensions
From MaRDI portal
Publication:6129930
DOI10.2478/FORMA-2023-0011OpenAlexW4388142980MaRDI QIDQ6129930
Publication date: 17 April 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2023-0011
Algebraic field extensions (12F05) Formalization of mathematics in connection with theorem provers (68V20)
This page was built for publication: Normal extensions
