Theorem FirstOrder.Language.DirectLimit.equiv_iff

Modification history