Theorem Class.toSet_of_setCat

Modification history