Theorem cinfₛ_mem

Modification history