AIM loops and the AIM conjecture
From MaRDI portal
Publication:2305344
DOI10.2478/forma-2019-0027zbMath1433.68574WikidataQ123021496 ScholiaQ123021496MaRDI QIDQ2305344
Publication date: 10 March 2020
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2019-0027
Uses Software