Theorem FirstOrder.Language.Theory.Iff.realize_bd_iff

Modification history