Def LinearEquiv.ofSubsingleton

Modification history