Theorem SSet.horn_eq_iSup

Modification history