Cayley's theorem.

DOI10.2478/V10037-011-0030-5MaRDI QIDQ2865751zbMATH OpenOpenAlexFDO

Authors 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)

• Walker's Cancellation Theorem
• scientific article; zbMATH DE number 5727001 (Why is no real title available?)

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)