Theorem FirstOrder.Language.DirectLimit.lift_quotient_mk'_sigma_mk'

Modification history