Registry · Proposition IV.P232 tau-effective not_applicable

IV.P232 — Dislocation Classification

Edge (b⊥ℓ̂), screw (b∥ℓ̂), mixed. Plasticity = controlled dislocation motion. Fracture = dislocation avalanche.

Book IV Part 7 Ch. 62

Dependency Graph

Depends on (1)

IV.D391

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter