basic.lean

Commit

3 years ago

Update src/group_theory/subgroup/basic.lean Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk>

References

Author

thefundamentaltheor3m

Parents