v2024
default avatar
di.gama@gmail.com
0c9d4118 · chore: Generalise monotonicity of multiplication lemmas to semirings (#9369) · 
last commit before 1/1/2024