Theorem FirstOrder.Language.Substructure.closure_induction

Modification history