Theorem Subtype.equivalence

Modification history