Skip to content

Add some theorems to finite_setTheory #418

Add some theorems to finite_setTheory

Add some theorems to finite_setTheory #418

build-mosml

succeeded Oct 16, 2024 in 40m 30s