2021/02/23 (火) 03:46:00
◆
▼
◇
[misao]
f(f n(⊥)) = f n+1(⊥) = f n(⊥)