Open opeltre opened 2 years ago
So that we can represent maps as Linear f : A -> B, useful to keep track of src/tgt of restrictions, degrees, ... and all educational purposes
Linear f : A -> B
So that we can represent maps as
Linear f : A -> B
, useful to keep track of src/tgt of restrictions, degrees, ... and all educational purposes