Theorem FirstOrder.Language.DirectLimit.relMap_quotient_mk'_sigma_mk'

Modification history