TY  - RPRT
TI  - Properness under closed forcing
AU  - Yasuo Yoshinobu
PY  - 2019
UR  - https://arxiv.org/abs/1904.11168
ID  - 1904.11168
ER  -