Template:Sdf containment

From Groupprops
Jump to: navigation, search
This article gives the statement, and possibly proof, of the subgroup obtained from one subgroup-defining function, namely [[{{{smaller}}}]], always being contained in the subgroup obtained from another subgroup-defining function, namely [[{{{bigger}}}]].
View other such results