Secondary Sylow

swMATH29536MaRDI QIDQ41250FDOQ41250

Author name not available (Why is that?)

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