[[1] Wojciech A. Trybulec. Classes of conjugation. Normal subgroups. Formalized Mathematics, 1(5):955-962, 1990.]Search in Google Scholar
[[2] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.]Search in Google Scholar
[[3] Wojciech A. Trybulec. Subgroup and cosets of subgroups. Formalized Mathematics, 1(5):855-864, 1990.]Search in Google Scholar
[[4] Wojciech A. Trybulec. Lattice of subgroups of a group. Frattini subgroup. Formalized Mathematics, 2(1):41-47, 1991.]Search in Google Scholar
[[5] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.]Search in Google Scholar