TY - RPRT TI - Background construction for $λ$-indexed mice AU - Farmer Schlutzenberg PY - 2021 UR - https://arxiv.org/abs/2101.00889 ID - 2101.00889 ER -