Contents

# Contents

## Idea

A proof technique used in homotopy type theory and synthetic homotopy theory.