Theorem Pi.isAtom_single

Modification history

2024-07-01 17:37

Mathlib/Order/Atoms.lean

chore(Order): remove almost all autoImplicit (#14304) …

Modified Pi.isAtom_single View on Github →

2023-07-18 03:33

Mathlib/Order/Atoms.lean

feat: CompletelyDistribLattice (#5238) …

Added Pi.isAtom_single View on Github →