Theorem Concept.isExtent_iff_exists_concept

Modification history

2026-03-13 12:23
Mathlib/Order/Concept.lean
chore(Order/Concept): `IsIntent` and `IsExtent` (#29996) …
Added Concept.isExtent_iff_exists_conceptView on Github →