Registry · Definition
IV.D560
tau-effective
not_formalized
IV.D560 — Spontaneous Symmetry Breaking
Spontaneous symmetry breaking occurs when a functor F: tau3 tau3 exists as a symmetry of the structure, but the...