Theorem first_order.language.definable_set.coe_compl
Modification history
2022-09-04 15:22
src/model_theory/definability.lean
feat(order/heyting/basic): Generalize boolean algebras lemmas (#16281) …
Modified first_order.language.definable_set.coe_complView on Github →2022-03-12 18:01
src/model_theory/definability.lean
feat(model_theory/definability): Definability with parameters (#12611) …
Modified first_order.language.definable_set.coe_complView on Github →