Cayley's theorem.

DOI10.2478/V10037-011-0030-5zbMATH Open1276.20002OpenAlexW2115241818MaRDI QIDQ2865751FDOQ2865751

Artur Korniłowicz

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0030-5

zbMATH Keywords

Cayley theorem

Mathematics Subject Classification ID

Subgroups of symmetric groups (20B35) Mechanization of proofs and logical operations (03B35)

Cites Work

• Semantics of MML query -- ordering

Cited In (2)

• Title not available (Why is that?)
• Walker's Cancellation Theorem

This page was built for publication: Cayley's theorem.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865751)