Theorem Subtype.map_involutive

Modification history