Secondary Sylow

MaRDI QIDQ41250swMATHFDO

Official website https://www.isa-afp.org/entries/Secondary_Sylow.html

Cited in

(3)

• A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L
• Jacobson_Basic_Algebra
• Exploring the structure of an algebra text with locales

This page was built for software: Secondary Sylow