Theorem QuadraticModuleCat.ofIso_refl

Modification history