Updates for alpha_i properties #4747
Annotations
1 error
|
build:
./theorems/T000735.md#L0
path does not match uid=T000733
|