search

zhilin02 / slreplace

1 stars 3 forks source link

Add proof of Proposition 2 (\ref{prop:replaceAll}) in appendix #11

Closed anthonywlin closed 6 years ago

chentaolue commented 6 years ago

zhilin did.