Theorem Set.Quotient.range_mk''

Modification history