Theorem FirstOrder.Language.HomClass.strongHomClassOfIsAlgebraic

Modification history