Theorem FirstOrder.Language.Formula.isAtomic_graph

Modification history