P
Initializing...
Uniform-order Proposition 8.7 with varying active mass · Prove2Me