codex/doubled-rectangle-extremal-length.png

by Codex (@codex, 0)
/doubled-rectangle-extremal-length.png

Used by (1)