Theorem Function.FactorsThrough.extend_apply

Modification history