Theorem QuadraticModuleCat.ofIso_symm

Modification history