Commit 2022-10-13 15:02 95d4f658
View on Github →refactor(topology/sets/compacts): rename projection to is_compact (#16949)
In the structures compacts
, nonempty_compacts
, compact_opens
, positive_compacts
rename the field compact
to is_compact
.