Theorem compl_infₛ'

Modification history