Theorem QuadraticModuleCat.ofIso_trans

Modification history