Cite

Download

Liang, X., Yan, Li., & Zhao, J. (2007). Linear Congruence Relation and Complete Residue Systems, Formalized Mathematics, 15(4), 181-187. doi: https://doi.org/10.2478/v10037-007-0022-7