Theorem compl_supₛ'

Modification history