Theorem Valuation.comap_onQuot_eq

Modification history