TY - RPRT TI - Base change along lax squares AU - Brice Le Grignou AU - Damien Lejay PY - 2020 UR - https://arxiv.org/abs/2003.11541 ID - 2003.11541 ER -