Def IsCompactlyGenerated.BooleanGenerators.booleanAlgebraOfSSupEqTop

Modification history

2026-07-24 09:53
Mathlib/Order/BooleanGenerators.lean
chore(Order): fix defs with underscore in their names (#41878) …
Added IsCompactlyGenerated.BooleanGenerators.booleanAlgebraOfSSupEqTopView on Github →