Subgroup and cosets of subgroups (1990)

by Wojciech A. Trybulec
Venue:Journal of Formalized Mathematics
Citations:46 - 9 self