Commit 2024-11-25 10:13 725d2ded
View on Github →chore: rename CompleteLattice.Independent
/.SetIndependent
to iSupIndep
/sSupIndep
(#19409)
These names are shorter, closer to SupIndep
and clearer without their namespace.
chore: rename CompleteLattice.Independent
/.SetIndependent
to iSupIndep
/sSupIndep
(#19409)
These names are shorter, closer to SupIndep
and clearer without their namespace.