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
Ascii
Unicode
Table of Contents - 20.33.1.16. RP REPLACE: Definitions and basic properties of transitive closures
trcleq2lemRP