Commit 2024-11-17 16:59 67997fa0

View on Github →

refactor(ENat.Lattice): ENat.sSup_mem_of_nonempty_of_lt_top naming convention (#19147) The of_nonempty should not be capitalized.

Estimated changes