Theorem min_inv_inv'

Modification history