Skip to content

Simplify null_concat and finish proof #43

Simplify null_concat and finish proof

Simplify null_concat and finish proof #43