Theorem FirstOrder.Language.DirectLimit.lift_unique

Modification history