Theorem Q60596.quot_obv

Modification history