Pinned Loading

1. LeanECC LeanECC Public

   Lean 5 1

2. Squares form a subgroup and it is no... Squares form a subgroup and it is nonabelian (Kourovka 21.137).

   1

   G := SylowSubgroup(SymmetricGroup(8), 2);;

   2

   S := Set(G, g -> g^2);;

   3

   U := Agemo(G, 2, 1);;

   4

   5

   Exponent(G); # 8

3. Neural-Network-Expressivity Neural-Network-Expressivity Public

   Lean

4. celioboulay/origami-formalization celioboulay/origami-formalization Public

   Lean 1