Registry · Proposition IV.P231 tau-effective not_applicable

IV.P231 — Type-I/II Classification from Defect-Tuple Inequality

Type-I (κ<1/√2): EM quantization gap > vortex tolerance, single H_c transition. Type-II (κ>1/√2): vortex tolerance > gap, mixed state H_c1 < H < H_c2 with Abrikosov vortex lattice.

Book IV Part 7 Ch. 61

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter