generated at
2/18/2025, 6:00:46 PM
右可逆律
right invertible