Skip to content

A subset B is a statement, sets are equal by double containment, and powerset(A) is a set - #1432

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
set-statements
Sep 21, 2026
Merged

A subset B is a statement, sets are equal by double containment, and powerset(A) is a set#1432
Rafael-SOWNet merged 1 commit into
masterfrom
set-statements

A subset B is a statement, sets are equal by double containment, and …

8104f7b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar