Description: A lattice plane (or lattice line or atom) cannot majorize a lattice volume. (Contributed by NM, 8-Jul-2012)
Ref | Expression | ||
---|---|---|---|
Hypotheses | lvolnle3at.l | |
|
lvolnle3at.j | |
||
lvolnle3at.a | |
||
lvolnle3at.v | |
||
Assertion | lvolnle3at | |