Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Richard Penner
Short Studies
RP REPLACE: Definitions and basic properties of transitive closures
Next ⟩
trcleq2lemRP
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 21.40.4.34. RP REPLACE: Definitions and basic properties of transitive closures
trcleq2lemRP