Theorem Encodable.sortedUniv_toFinset

Modification history