Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Richard Penner
Additional statements on relations and subclasses
Reflexive closures
Next ⟩
crcl
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 21.38.5.20. Reflexive closures
crcl
df-rcl
dfrcl2
dfrcl3
dfrcl4