Skip to content

Replace Triviality by local Theorem

af3ee4f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Replace Triviality by local Theorem #79

Replace Triviality by local Theorem
af3ee4f
Select commit
Loading
Failed to load commit list.
build
succeeded Nov 13, 2025 in 2h 57m 30s