Metamath Proof Explorer

Table of Contents - 20.3.2.6. Substitution (without distinct variables) - misc additions

1. sbceqbidf
2. sbcies