Secondary Sylow

swMATH29536MaRDI QIDQ41250FDOQ41250

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: Secondary Sylow