Skip to content

Update theorems/T000028.md

97e4521
Select commit
Loading
Failed to load commit list.
Merged

Add proof for T28 #1710

Update theorems/T000028.md
97e4521
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar