Theorem compl_infₛ

Modification history