Concrete

Martin Constantino–Bodin

@mbodin

8d0162a0 · Lemma 4.7. · Sep 18, 2018

First version of the theorem that works for the concrete world.