Database
BASIC STRUCTURES
Extensible structures
Basic definitions
Slots
Next ⟩
cslot
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 7.1.1.3. Slots
cslot
df-slot
sloteq
slotfn
strfvnd
strfvn
strfvss
wunstr
str0
strfvi