Theorem finrank_ulift

Modification history