Theorem FirstOrder.Language.DirectLimit.liftInclusion_of

Modification history