Theorem SemilatticeInf.ext_inf

Modification history