Theorem Con.toSetoid_inj

Modification history