generated at
2/15/2025, 5:54:40 AM
同一律
A \to A