C. Hashimoto

• Proofs in the Patchwork