Theorem csupₛ_image2_eq_cinfₛ_cinfₛ

Modification history