Def AdicCompletion.ofTensorProductEquivOfPiFintype

Modification history