Theorem Nucleus.idempotent

Modification history

2025-08-12 05:09

Mathlib/Order/Nucleus.lean

feat(Order/Sublocale): definition of sublocales (#25089) …

Modified Nucleus.idempotent View on Github →

2025-01-25 06:17

Mathlib/Order/Nucleus.lean

feat(Order/Nucleus): Nucleus (#19440)

Added Nucleus.idempotent View on Github →