Skip to content

Replace Triviality by local Theorem#79

Merged
myreen merged 1 commit intomasterfrom
bye-triviality
Nov 13, 2025
Merged

Replace Triviality by local Theorem#79
myreen merged 1 commit intomasterfrom
bye-triviality

Commits

Commits on Nov 13, 2025