Theorem Subtype.coind_bijective

Modification history