Registry · Theorem IV.T267 tau-effective not_formalized

IV.T267 — Fe-56 Half-Filling

Fe-56 fills exactly half its available seats: enumerate He-4: 8 modes / 8 seats = 100\% inert Fe-56: 56 modes / 112...

Book IV Part 5 Ch. 40

Dependency Graph

Depends on (1)