Theorem AddValuation.onQuot_comap_eq

Modification history