## Subgroup and cosets of subgroups (1990)

by
Wojciech A. Trybulec

Venue: | Journal of Formalized Mathematics |

Citations: | 46 - 9 self |