cod_restrict

Stream: general

[Fabian Glöckle]

Is there a reason why the order of arguments does not agree between docs#add_monoid_hom.cod_restrict and docs#linear_map.cod_restrict?

[Fabian Glöckle]

oh, and also for implicite-ness of the f argument of docs#linear_map.mem_ker and docs#add_monoid_hom.mem_ker, respectively

[Eric Wieser]

Probably because no one thought to check

[Eric Wieser]

Are there any other docs#cod_restrict s from which to establish a consensus on the better argument order?

[Fabian Glöckle]

first f, then P seems to be more common (shared by set, alg_hom, ring_hom, linear_pmap)
Could there be a reason like whether f.cod_restrict or P.cod_restrict allows better elaboration?